Definition: Set of Natural Numbers (Peano)

A set \(N\) fulfilling the Peano axioms is called the set of natural numbers. We denote this set as

\[\mathbb N:=\{0,1,2,3,\ldots\}.\]

Definitions: 1 2 3
Examples: 4
Explanations: 5
Lemmas: 6
Proofs: 7 8 9 10 11 12
Propositions: 13 14 15


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Hoffmann, Dirk W.: "Grenzen der Mathematik - Eine Reise durch die Kerngebiete der mathematischen Logik", Spektrum Akademischer Verlag, 2011