3.1.1. Выводимость

Пусть F1 , F2 , Fn ,G – формулы теории T, т.е. F1 , F2 , Fn ,G F . Если существует такое правило вывода R, что (F1 , F2 , Fn ,G) R , то