„Szerkesztő:Gubbubu/Halmazelmélet/Az üres osztály” változatai közötti eltérés

Tartalom törölve Tartalom hozzáadva
14. sor:
 
: (A8) '''Az üreshalmaz-axióma''': Az üres osztály individuum, azaz osztályba foglalható <ref>[[Halmazelmélet/Párok#Rendezetlen pár|a páraxióma]] természetesen nem helyettesíti ezt az axiómát, hiszen a páraxióma csak individuumokra alkalmazható; s ha nem tudjuk, az üres osztály individuum, párba se foglalhatjuk.</ref>.
<center>x∈∅∈<big>''U''</big></center>
 
Természetesen ezt a két axiómát össze lehet vonni: