„Szerkesztő:Gubbubu/Halmazelmélet/Az üres osztály” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
25. sor:
<center>∃x∈<big>''U''</big>: [x∉<big>''E''</big> ∧ ∀z∈x: (z≠z)] );</center>
az elkülönítéssel pusztán arra szerettük volna felhívni a figyelmet, hogy az individuumság feltételezése [[Halmazelmélet/Alapfogalmak#Alapfogalmak rögzítése|gyenge axióma]], azaz [[később]] be is bizonyítjuk.
=== Az „üres osztály” - üres ===
| |||