Если ультрафильтр неглавный, то:

Ультрафильтр - это фильтр:

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

Замкнутая формула невыполнима, если:

Кольцо может быть в поле, если:

Если отрицание замкнутой формулы общезначимо, то она:

Две формулы с параметрами эквивалентны, если они одновременно:

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

У Консерватора есть способ выиграть если интерпретации:

Две интерпретации - изоморфны, если между ними существует:

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