ミステリの業界で呼ぶ「ゲーデル問題」は、作中での推理を公理系だと無条件にみなしている点で間違い^H^H^H場違いだと思う。ミステリに不完全性定理を引き込むためには、そもそも何を公理とみなすかについての言及が必要なのだ。 公理＝証拠と考える つまり…