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