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

Непротиворечивая теория с равенством в не более счетной сигнатуре, не имеющая конечных моделей и категоричная в несчетной мощности:

Непротиворечивая теория с равенством в не более счетной сигнатуре, не имеющая конечных моделей и категоричная в счетной мощности:

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

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

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

Любая теория, имеющая П₂-аксиоматизацию:

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

Теория Г противоречива, если в ней выводится:

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

Конечно аксиоматизируемая полная теория в конечной сигнатуре: