Covering lemmas

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