Contents
Fundamentals of the theory of classes, sets, and numbers
Characterization of all natural models of Neumann – Bernays – Godel and Zermelo – Fraenkel set theories
Local theory of sets as a foundation for category theory and its connection with the Zermelo – Fraenkel set theory
Compactness theorem for generalized second-order language
Timofey V. Rodionov and Valeriy K. Zakharov, Lomonosov Moscow State University, Russia.