Addition on naturals

Layer 0 — Mathematicsin the arithmetic subtree

Binary operation defined recursively: a+0 = a; a+S(b) = S(a+b).

Related concepts

Explore Addition on naturals on the interactive knowledge graph →