Peano rekenkunde: verschil tussen versies
Naar navigatie springen
Naar zoeken springen
De axioma'a van peano rekenkunde van kleine guys |
Geen bewerkingssamenvatting |
||
| (5 tussenliggende versies door 3 gebruikers niet weergegeven) | |||
| Regel 1: | Regel 1: | ||
[[Bestand:Peano rekenkunde.png|miniatuur|Peano rekenkunde in de praktijk]] | |||
== 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. | ||
# 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. | ||
== Uitwerkingen == | |||
Gegeven deze axioma's kunnen we de verhoudingen tussen alle kleine guys wiskundig uitwerken. Robert schijnt bij vervlechting een speciale positie in te nemen. Voor ieder geeft vervlechting met Robert zichzelf. En zo kunnen nog meer verhoudingen worden uitgewerkt. | |||
[[Category:Wiskunde]] | |||
Huidige versie van 17 apr 2025 14:44
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.
Uitwerkingen
Gegeven deze axioma's kunnen we de verhoudingen tussen alle kleine guys wiskundig uitwerken. Robert schijnt bij vervlechting een speciale positie in te nemen. Voor ieder geeft vervlechting met Robert zichzelf. En zo kunnen nog meer verhoudingen worden uitgewerkt.