帰納的
recursive
定義としては、
全域関数$ fが帰納的であるとは、その関数が帰納的関数の定義を満たすこと
部分関数$ fが帰納的であるとは、その関数が部分帰納的関数の定義を満たすこと
と、考えればいい
定理
帰納的であることと、計算可能であることは同値である