Gödel's incompleteness theorems
「初期クイーン論」での法月が柄谷行人に依拠し、「形式化（フォーマライゼーション）」についての議論と、ゲーデルの不完全性定理にちなんだ「ゲーデル的問題」の枠組を援用して論を進めたことから、この問題が「探偵小説におけるゲーデル的問題」（あるいは「ゲーデル問題」）などと呼ばれることがある。