Category:Natural Number Addition

From ProofWiki
Jump to navigation Jump to search

This category contains results about Natural Number Addition.
Definitions specific to this category can be found in Definitions/Natural Number Addition.


Let $\struct {P, 0, s}$ be a Peano structure.

The binary operation $+$ is defined on $P$ as follows:

$\quad \forall m, n \in P: \begin{cases} m + 0 & = m \\ m + \map s n & = \map s {m + n} \end{cases}$

This operation is called addition.

Pages in category "Natural Number Addition"

The following 29 pages are in this category, out of 29 total.