Up 3.3.1 仮定からの演繹  

　Gの文シェマの有限集合Σと，テクストｓ：

ｐ1＾ｐ2＾････＾ｐn　　(ｐi:句)
に対し，
    《各ｐi は，Σの中にシェマをもつか，そうでなければ，
    である》

が成立しているとき，ｓは“仮定Σからの演繹”と呼ばれる。また，このようなｓの終端の文は，“仮定Σからの演繹によって結論される”あるいは“仮定Σの下で証明される”，“Σから導かれる”と言われる。

　文φが仮定Σからの演繹によって結論されることを，“仮定Σの下で証明可能である”と言い表わし，Σ├φで表わす。

　ｐ1＾ｐ2＾････＾ｐn が仮定Σからの演繹であるとき，各ｋ＝1,2,････,n に対し，ｐ1＾ｐ2＾････＾ｐk は仮定Σの下でのｐkの証明である。特に，Σ├ｐk。