Vita:Axiomatikus halmazelmélet

Ez a szócikk témája miatt a matematikai műhely érdeklődési körébe tartozik.
Bátran kapcsolódj be a szerkesztésébe! Besorolatlan Ezt a szócikket még nem sorolták be a kidolgozottsági skálán. Nem értékelt Ezt a szócikket még nem értékelték a műhely fontossági skáláján. Értékelő szerkesztő: ismeretlen

Ruzsa-féle halmazelmélet

Nincs olyan, hogy Ruzsa-féle halmazelmélet. Ruzsa Imre könyveiben a halmazelmélet Zermelo-Fraenkel-féle felépítése szerepel, csak a valódi osztályokra utaló szimbólumok szerepeltetése és kiküszöbölésének módja van valamivel részletesebben kifejtve, mint a szokásos halmazelméleti kézikönyvekben.

Az atomok szerepeltetése teljesen bevett opció ZF-ben és más elméletekben is. (Zermelo, Fraenkel, Neumann, Bernays és Gödel is megengedtek atomokat; csak később vált szokássá az atommentes felépítés.) Az atomok szerepeltetése a Kripke-Platek halmazelméletben is opcionális.

Egyetlen olyan elméletcsalád van, amelyben döntő jelentőségű az atomok jelenléte: ez az NF (New Foundations), amelynek atommentes változatában levezethető a kiválasztási axióma tagadása, és e változatra nem ismertek relatív konzisztenciabizonyítások. Az atomos változatban AC független formula, és NFU ZF-hez képest konzisztens elmélet (Jensen, 1969). – Aláíratlan hozzászólás, szerzője Mcysh (vitalap | szerkesztései) 2008. február 7., 13:44 (CET)

Üres halmaz

üreshalmaz létezése nem maradt le ZFC-ből? 88.132.143.78 (vita) 2012. szeptember 12., 23:13 (CEST)