1. Top concepts
  2. mathematics
  3. mathematical logic
  4. classical logic
  5. normal form