Encyclopedia > A > Addition of natural numbers/Proofs
Addition of natural numbers/Proofs
Here we will define it from Peano's axioms (see natural number) and prove some simple properties. The set of natural numbers will be denoted by N, and "0" will be used to denote the natural number which is not the successor of any other natural number.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)