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

Правильный ответ:

• # Если в Г все формулы истинны в интерпретации М, то для некоторой замкнутой формулы А:
• # Если Г - множество формул, то:
• # Верно правило для некоторых конечных множеств формул А, В, С, Д:
• # Верна формула:
• # Всякая выводимая в исчислении предикатов формула: