Peano rekenkunde: verschil tussen versies
Naar navigatie springen
Naar zoeken springen
Geen bewerkingssamenvatting |
|||
| Regel 6: | Regel 6: | ||
# 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. | # 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. | ||
# Voor alle kleine guys X geldt dat de [[vervlechting]] van X en Gerrit dezelfde is als Gerrit. | # Voor alle kleine guys X geldt dat de [[vervlechting]] van X en Gerrit dezelfde is als Gerrit. | ||
# 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 | # 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 X. | ||
Versie van 4 jun 2024 14:30
Axioma's
- Voor alle kleine guys X is de opvolger van X niet dezelfde als Gerrit.
- 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.
- Voor alle kleine guys X geldt dat de samensmelting van X en Gerrit dezelfde is als X.
- 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.
- Voor alle kleine guys X geldt dat de vervlechting van X en Gerrit dezelfde is als Gerrit.
- 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 X.