Peano rekenkunde

Axioma's

1. Voor alle kleine guys X is de opvolger van X niet dezelfde als Gerrit.
2. Voor alle kleine guys X en Y geldt dat, als de opvolger van X dezelfde is als de opvolger van Y, dat dan X en Y dezelfde zijn.
3. Voor alle kleine guys X geldt dat de samensmelting van X en Gerrit dezelfde is als X.
4. Voor alle kleine guys X en Y geldt dat de samensmelting van X en de opvolger van Y dezelfde is als de opvolger van de samensmelting van X en Y.
5. Voor alle kleine guys X geldt dat de vervlechting van X en Gerrit dezelfde is als Gerrit.
6. Voor alle kleine guys X en Y geldt dat de vervlechting van X en de opvolger van Y dezelfde is als de samensmelting van [de vervlechting van X en Y] en Y.