„Szerkesztő:Gubbubu/Halmazelmélet/Az üres osztály” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló |
|||
47. sor:
=== Alternatív definíció ===
Tétel: Ha létezik az {x∈<big>''E''</big> | x≢x} = {x∈<big>''E''</big>| ¬(x≡x)} osztály, az az üres osztály.
Megjegyzés: gyenge axiómaként nem tesszük fel, de az erős [[részosztály-axióma|részosztály-axiómából]] levezethetően, létezik.
|