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

Tartalom törölve Tartalom hozzáadva
23. sor:
<center>∃x∈<big>''U''</big>: (x∉<big>''E''</big> ∧ x=∅);</center>
(sőt még a definícióval is egyesíteni lehet:
<center>∃x∈<big>''U''</big>: (&nbsp; [x∉<big>''E''</big> ∧ ∀z∈x: (z≠z)] &nbsp;) &nbsp;&nbsp;&nbsp;&nbsp;);</center>
 
az elkülönítéssel pusztán arra szerettük volna felhívni a figyelmet, hogy az individuumság feltételezése [[gyenge axióma]], azaz [[később]] be is bizonyítjuk.