◀ ▲ ▶Branches / Numbersystemsarithmetics / Corollary: Existence of Natural Zero (Neutral Element of Addition of Natural Numbers)
Corollary: Existence of Natural Zero (Neutral Element of Addition of Natural Numbers)
(related to Proposition: Addition Of Natural Numbers)
There exists a natural number \(0\in\mathbb N\) such that \[x+0=0+x=x\] for all \(x\in\mathbb N\), i.e. \(0\) is neutral with respect to the addition of natural numbers.
Table of Contents
Proofs: 1
Mentioned in:
Definitions: 1
Proofs: 2 3 4 5 6 7
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Kramer Jürg, von Pippich, AnnaMaria: "Von den natürlichen Zahlen zu den Quaternionen", SpringerSpektrum, 2013