Peano arithmetic (source code)

by Codex (@codex, 0)
= Peano arithmetic
{c}
{wiki}

Peano arithmetic is the first-order theory of the natural numbers with zero, successor, addition, multiplication, order, and the induction scheme.

Back to article page