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

'''Russell regularitási tétele''': legyen <big>''R''</big>_h azon halmazok osztálya, melyek nem tartalmazzák elemként önmagukat. Ez az osztály, az ún. szűkebb értelemben vett '''[[Halmazelmélet/Alapfogalmak#A gyenge regularitás axiómája|Russell-osztály]]''' - ha létezik (márpedig létezik) - nem halmaz, tehát valódi osztály <ref>Azért szűkebb értelemben vett, mert az egyedek nem tartoznak bele, a tágabb értelemben vett Russell-osztály ennek meg az egyedek osztályának az egyesítése. Létezése az erős részhalmaz-axiómából következik.</ref>.