列長帰納法図式
length induction scheme,
LIND
#算術の公理
#帰納法図式
定義
$ L
を
S₂の言語
とする
$ {\rm LIND}\phi := (\phi(0) \land (\forall x)[\phi(x) \to \phi(x+1)]) \to (\forall x)\phi(|x|)
$ C
が
論理式
の集合であるとき
$ C\text{-LIND} := {\rm BASIC}+ \{{\rm LIND}\phi|\phi \in C\}
とする