Если все П1-формулы сигнатуры S с равенством, выводимые из теории Т, истинны в А, то:
Нормальная интерпретация А сигнатуры S с равенством может быть расширена до нормальной модели теории Т, если:
Если выводима формула А(с/х), где А - формула, х - переменная, с - константа не входящая в А, то тогда:
Число а - предел ‹ai›, i=0,1,…, если есть бесконечно далекий ak:
Если существует бесконечно далекий ak из ряда ‹ai›, I=0,1,… который бесконечно близок к а, то:
Если А - замкнутая формула сигнатуры непротиворечивого множества Г и выводима А, то:
Теория Т - П1 аксиоматизируема, если существуют П1-формулы,из которых:
Если А - бесконечная нормальная интерпретация сигнатуры с равенством,то нормальная интерпретация В А большой мощности , является элементарным расширением А:
Если
S не пусто,
, то для того, чтобы
F был фильтром нужно:
Если
S не пусто,
, то для того, чтобы
F был фильтром нужно: