| 1 | Learns the consept of the logic, "and", "or" operations. |
| 2 | Learns the structure of the sets and operations on sets. |
| 3 | Learns to prove the theorems with proof methods. |
| 4 | Learns the concepts of the relation and equivalence relation. |
| 5 | Learns the functions, 1-1, onto and inverse functions. |
| 6 | Learns the Peano Axioms and obtains the Natural Numbers. |
| 7 | Obtains the Natural Numbers and defines the Binary Operations on Natural Numbers. |
| 8 | Obtains the Integers and defines the Binary Operations on Integers. |
| 9 | Obtains the Rational Numbers and defines the Binary Operations on Rational Numbers. |