Lukas' Notes

Definition

Natural Number

The natural numbers () are constructed from the Peano axioms.