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

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

Если А - замкнутая формула сигнатуры непротиворечивого множества Г и выводима , то:

Если А - замкнутая формула сигнатуры непротиворечивого множества Г и выводима А, то:

Если выводима формула А(с/х), где А - формула, х - переменная, с - константа не входящая в А, то тогда:

Теория Т - П₁ аксиоматизируема, если существуют П₁-формулы,из которых:

Если в теории Г выводима формула (А - любая формула), то она:

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

Теория П₁ аксиоматизируема, если она:

Для любых формул исчисления высказывания А В, С выводима формула:

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