たとえば｛ｔｍＬ｜ｔｍＬはＬを認識しないＴＭ｝という集合が決定不可能であることは
ゲーテルの不完全性定理により証明できます。学部の教科書にものっています。

70年前に証明されているのですがヤマジンは知らないのでしょう