„Szerkesztő:Gubbubu/Halmazelmélet/Russell tételei” változatai közötti eltérés

Tartalom törölve Tartalom hozzáadva
98. sor:
=== Az osztályfogalom szerepe pontosabban ===
 
RusselRussell paradoxona világosan rámutat, hogy a komprehenzivitási elv tarthatatlan a naivan felépített osztály- és halmazelmélet számára. Nem ez az egyetlen példa. Egy másik ismert példa [[Cantor paradoxona]] (erről a rendszámok felépítése során szólunk majd). Egy egyszerűbb példáról a [[Halmazelmélet/Részhalmazok#A hatványhalmaz-axiómáról|következő fejezetben]] is szó esik.
 
Viszont ha nem az osztály, illetve valódi osztály fogalmának bevezetése okozza a Russell-antinómia végleges kiküszöbölését, hanem a komprehenzivitási elv félretétele (az osztályfogalom csak eggyel magasabb szintre tolja az antinómia felléptét), akkor miért kell pont az osztály fogalmát bevezetni, miért ne válasszuk mondjuk a ZFC-elméletet, vagy miért ne vezessünk be Russell mintájára egy tipizált halmazelméletet?