"Конструктивные множества и их приложения" - читать интересную книгу автора (Мостовский А. (Mostowski))