„Szerkesztő:Gubbubu/Halmazelmélet/Az üres osztály” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
79. sor:
=== Az üres osztály egyértelműségéről ===
Megjegyzés: A hagyományos halmazelméletben az [[Halmazelmélet/Alapfogalmak#Az egyenlőségi axióma és az osztályegyenlőség|egyenlőségi axiómából]] („egy osztályt meghatároznak az elemei”, avagy „két osztály akkor és csak akkor egyenlő, ha ugyanazok az elemeik”) szokás levezetni, hogy az üres halmaz létezése egyértelmű, azaz egyetlen egy, elemekkel nem rendelkező halmaz létezik. Ennek használata némileg kifogásolható, hiszen
== Jegyzetek ==
|