■

面白い定理。

述語  を  とおくと、
 は帰納的述語ではない。

※とは簡単にいうとプログラムと入力列が与えられた時、計算結果を出すかいなかの述語。

これから導かれる事柄として以下がある。

あるプログラムに対して、どんな入力に対しても必ず何らかの解答（エラー等も含め）
を出力する事が好ましいが、こういった事柄の判別を完全に自動化する事は不可能である。