Peano axioms

axiomatic system for the natural numbers

Categories: