Значения разных атомарных формул выбирать независимо:
Глубина формулы
равна:
Глубина формулы
равна:
Глубина формулы
равна:
Для любого непротиворечивого множества замкнутых формул полное непротиворечивое множество замкнутых формул той же сигнатуры:
Глубина формулы
:
Глубина формулы
:
Всякое непротиворечивое множество замкнутых формул:
Любое совместное множество замкнутых формул:
Вопрос о выводимости произвольных формул языка первого порядка: