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

Nincs szerkesztési összefoglaló
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]]
 
Névtelen felhasználó