Up
6.8.1 メタ定理
命題論理の上の理論
T
に関する事実を述べるものとしての“定理”は，“････は
T
の定理”と言うときの“定理”に対して，メタ定理である。
例えば，“推論公式”，“演繹定理”は，メタ定理であり，ある文シェマを定理シェマ──代入して得られる文が定理となるところのシェマ──として特定する言明も，メタ定理である。