Покрывающие леммы

Покрывающая лемма Определение и свойства базовых моделей Базовая модель — это модель, которая удовлетворяет всем аксиомам ZFC, кроме аксиомы выбора.  […]