„Szerkesztő:Gubbubu/Halmazelmélet/Az üres osztály” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
6. sor:
: Az '''üres osztály''' definíciója: ha a
<center> ∅ := {x∈<big>''U''</big> | x<big>≠</big>x}</center>
[[Halmazelmélet/Alapfogalmak#Osztályok megadása|intenzionális definíció]] létező osztályt ad meg, azt '''üres osztály'''nak nevezzük.
:(Gy4) Az '''üres osztály egzisztencia-axiómája''': Létezik az önmaguktól különböző individuumok osztálya, azaz '''létezik az üres osztály'''; ami nevéből következően, nem egyed.
| |||