Peano arithmetic (Q49938)
axiomatic theory of the arithmetic of nonnegative integers
Language:
other details
aliases PA
description axiomatic theory of the arithmetic of nonnegative integers

External Links
(P691) ph468053
(P2671) /g/122n5dnb
/g/121v2d7_
(P2812) PeanoArithmetic
(P4215) Peano arithmetic
(P10565) 218527