>>86と>>132をみてチューリングマシーンが定理証明機だということに初めて気がついた。そういうことだったのか。