Множество истинных бескванторных формул сигнатуры с равенством и константами для всех элементов интерпретации - это:

Множество всех истинных в N формул сигнатуры не выводится формула:

Из множества всех истинных в N формул сигнатуры не выводится формула:

Из множества всех истинных в N формул сигнатуры не выводится формула:

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

Истинность бескванторных формул из D(A) от присутствия дополнительных элементов:

Формула, истинная в любой интерпретации сигнатуры называется:

Если T₁, T₂ - теории сигнатуры с равенством, то:

Если T₁, T₂ - теории сигнатуры с равенством, то:

Если T₁, T₂ - теории сигнатуры с равенством, то:

Теория сигнатуры с равенством имеет нормальную модель тогда и только тогда, когда: