Любая тавтология в исчислении высказываний есть:

Если секвенция выводима в исчислении секвенций, то представляющая ее формула в исчислении высказываний:

Если прототип формулы - тавтология, то бескванторная формула:

Всякая выводимая в исчислении предикатов формула:

Правило вывода в исчислении секвенций - это правило, объявляющее:

Любая непротиворечивая теория:

Любая теория, устойчивая относительно объединения:

Если любая подструктура любой нормальной модели является ее моделью, то теория:

Если любая подструктура любой нормальной модели является ее моделью, то теория:

Аксиомой исчисления высказываний является:

Теоремой исчисления высказываний является: