axiom4

URI: https://gptkb.org/prop/axiom4
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Peano_axioms distinct natural numbers have distinct successors
gptkb:Peano_postulates Different natural numbers have different successors