>>383
だから、そこまで含めて全ての言明をプログラムで書かない理由は？

「どうやってプログラムに翻訳したらいいか分からない箇所があるので、
　そこは公理にしてお茶を濁している」ということ？