Random triples
| Subject | Object |
|---|---|
| gptkb:Peano_axioms | if a set contains 0 and is closed under successor, it contains all natural numbers (induction axiom) |
| gptkb:Peano_postulates | If a set contains 0 and the successor of every number in the set, then it contains all natural numbers (induction axiom) |