Полная булева алгебра
Полная булева алгебра Определение и свойства булевых алгебр Булева алгебра — это алгебра с двумя операциями: конъюнкция (∧) и дизъюнкция […]
Вики
Форсинг (математика)
Вики
Логическая модель
Логически значимая модель Основы булевозначных моделей Булевозначные модели — это модели теории множеств, в которых значения истинности формул представлены булевыми
Вики
Гипотеза континуума
Гипотеза континуума Гипотеза континуума (CH) утверждает, что множество всех действительных чисел является несчетным. CH является одной из самых известных и