Wikisage, de vrije encyclopedie van de tweede generatie en digitaal erfgoed, wenst u prettige feestdagen en een gelukkig 2025

Wikisage is op 1 na de grootste internet-encyclopedie in het Nederlands. Iedereen kan de hier verzamelde kennis gratis gebruiken, zonder storende advertenties. De Koninklijke Bibliotheek van Nederland heeft Wikisage in 2018 aangemerkt als digitaal erfgoed.

  • Wilt u meehelpen om Wikisage te laten groeien? Maak dan een account aan. U bent van harte welkom. Zie: Portaal:Gebruikers.
  • Bent u blij met Wikisage, of wilt u juist meer? Dan stellen we een bescheiden donatie om de kosten te bestrijden zeer op prijs. Zie: Portaal:Donaties.
rel=nofollow

Groot kardinaalgetal

Uit Wikisage
Naar navigatie springen Naar zoeken springen

In de verzamelingenleer, een deelgebied van de wiskunde, is een groot kardinaalgetal een bepaalde eigenschap van transfiniete kardinaalgetallen. Kardinalen met zulke eigenschappen zijn, zoals de naam al doet vermoeden, over het algemeen zeer „groot” (bijvoorbeeld groter dan א0, groter dan de kardinaliteit van het continuüm, enz.). De bewering dat dergelijke kardinalen bestaan, kan in de meest voorkomende axiomatisering van de verzamelingenleer, de Zermelo-Fraenkel-verzamelingenleer, niet worden bewezen. Dergelijke beweringen kunnen worden gezien als manieren om te meten hoe „veel”, men naast de ZFC, nog moet veronderstellen om in staat te zijn om bepaalde gewenste resultaten te bewijzen. In de woorden van de Amerikaanse wiskundige Dana Scott kunnen zij worden gezien als de kwantificatie van het feit „dat als men meer wil [bewijzen], men meer moet veronderstellen”.[1]

Voetnoten

  1. º (en) Bell, J.L., Boolean-Valued Models and Independence Proofs in Set Theory. Oxford University Press, 1985, p. viii
rel=nofollow