„Naiv halmazelmélet” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló
35. sor:
Ez utóbbi módszert, amikor egy tulajdonság változójának helyébe magát a tulajdonságot (pontosabban annak megnevezését) helyettesítjük, ''Cantor-féle átlós eljárásnak'' nevezzük. A sors fintora, hogy Cantor halmazelméletén pont a saját maga által először alkalmazott eljárás segítségével tudott Russell rést ütni.
== Felhasznált irodalom ==
Robert Goldblatt, ''TOPOI - The categorical analysis of logic'', North-Holland Publ. Co. 1984
[[Kategória:Halmazelmélet]]