Peano axioms
"Develop": Natural numbers, N is a set, Peano axioms, integers, rational numbers, real numbers.