Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Логика
\
Исчисление предикатов
\
Истинность предложения в интерпретации
\
9.6.2.4.1.5. Подмодели данной модели
©
Начало см.
здесь
и
здесь
.
Определение
модели
данного языка см.
здесь
.
Определение
изоморфизма
моделей см.
здесь
.
Продолжение см.
здесь
.
