disclaimer
ik kreeg de foutmelding dat ik teveel smilies had in dit bericht...
Moest dus het nette gebruike van symbolen voor verzamelingen terugbrengen.
Als je een losse hoofdletter ziet. lees dat aub als de wiskundige verzameling met die letter
Cardinaliteit
Mijn definitie van cardinaliteit is dezelfde, een maat voor het aantal elementen in een set.
De "basis cardinaliteit"

is voor mij
een eigenschap van de tool wiskunde, niet noodzakelijk van het onderwerp dat beschouwd wordt, de set. Ik noem dit de precisie van de tool wiskunde. Vergelijk het met de resolutie van een scherm.
Daardoor kun je altijd een bi-jectie tussen twee apart bekeken onderwerpen maken in het oneindige.
Deze bi-jectie is echter volkomen betekenisloos.
Het is simpelweg de tool die je geen beperking oplegt, dat doet ze niet bij de oneven getallen, niet bij de natuurlijke getallen, niet bij de rationele getallen, niet bij een atoom, niet bij het heelal.
Elk willekeurig onderwerp kun je door de tool in N stukjes opdelen.
De "resolutie" van de tool wiskunde is immers altijd gelijk.
Ik hou de cardinaliteit als eigenschap van de set, niet van de tool.
Dus als je

1 noemt, dan komt bij mij de cardinaliteit van de even getallen gewoon op 1/2. De cardinaliteit van Z is naar mijn idee 1, want negatieve getallen 'bestaan niet'. Het is gewoon een kwestie van het 'nulpunt' ergens ander leggen. De cardinaliteit van

ligt voor mij dus gewoon tussen die van N en R in. Zullen we de cardinaliteit van de lege set op 0 stellen?
Dit in tegenstelling van de CH, die stelt dat alleen |

| en |

| bestaan.
Dit onderscheid tussen 'eigenschap van de tool' en 'eigenschap van de set' maakt voor mij het begrip oneindigheid weer heel intuitief te begrijpen. Appeltje eitje.
De Aleph nummers doen dan netjes dienst als maat voor het algoritme waarmee de tool een bepaald probleem te lijf gaat.
Beperking |N| * |N|
In mijn beperkte kijk is dit het maximaal haalbare binnen de tool wiskunde, oneindig tellen binnen een oneindige recursie of iteratie. Per definitie gelijk aan de cardinaliteit van R.
Ik laat me hier graag in corrigeren.