帰納法図式
定義
$ \mathrm I\phi := (\forall \vec x)[(\phi(\vec x, 0) \land (\forall z)[\phi(\vec x, z) \to \phi(\vec x, z+1)]) \to (\forall z)\phi(\vec x, z)]
または$ {\rm IND}\phiとも書く
論理式のクラス$ C
$ Cが論理式の集合であるとき$ C\text{-IND} := {\rm BASIC}+ \{{\rm IND}\phi|\phi \in C\}とする