最近いろいろ考えてきたけど、これで全部解決する問題だったな。またチャーチによりますと一階述語論理の決定可能性問題は解けないそうですし。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。