Без аксиомы "исключенного третьего" выводима:

Без аксиомы "исключенного третьего" выводима:

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

Аксиомы равенства в фильтрованном произведении нормальных интерпретаций:

Если секвенция выводима в исчислении секвенций, то представляющая ее формула в исчислении высказываний:

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

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

Секвенция выводима тогда и только тогда, когда она:

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

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

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