Kiválasztási axióma

kiválasztási axióma
Kimondja, hogy páronként diszjunkt halmazok bármely rendszeréhez létezik olyan halmaz, amelynek az összes nem üres halmazzal potnosan egy közös eleme van.
kivonás ...

így a kiválasztási axióma miatt létezik olyan () sorozat, mely -ben halad és minden természetes számra = . A Bolzano-Weierstrass-tétel miatt ekkor ()-nek létezik konvergens () részsorozata, melynek határértéke az -beli szám.

A jólrendezési tétel és kiválasztási axióma ekvivalensei
Április 27.:
Számosságok
Típusoperáció
Számosságaritmetika ...

See also: Axióma, Függvény, Halmaz, Bizonyítás, Véges