Current Data About
Peano axioms
| (P31) |
(Q792542)
|
| (P138) |
(Q191029)
(Q76556) |
| (P361) |
(Q49938)
|
| (P527) |
(Q54500890)
|
| (P2534) |
\begin{aligned}&\exists x\not\exists y\colon y^+=x\\&\forall x\forall y\colon x^+=y^+\implies x=y\\&\phi(0)\land(\forall n\colon\phi(n)\implies\phi(n^+))\implies\forall n\colon\phi(n)\end{aligned}
|
| (P2670) |
(Q17736)
|
| (P6104) |
(Q8487137)
|
other details
| aliases |
Dedekind–Peano axioms Peano postulates |
| description | axiomatic system for the natural numbers |
External Links