Peano rekenkunde: verschil tussen versies
Naar navigatie springen
Naar zoeken springen
De axioma'a van peano rekenkunde van kleine guys |
Geen bewerkingssamenvatting |
||
| Regel 1: | Regel 1: | ||
== Axioma's == | == Axioma's == | ||
# Voor alle [[kleine guys]] X is de [[opvolger]] van X dezelfde als [[Gerrit]]. | # 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 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 geldt dat de [[samensmelting]] van X en Gerrit dezelfde is als X. | ||
Versie van 4 jun 2024 08:57
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 Y.