恋と禁忌の述語論理
大学生の詠彦は、天才数理論理学者の叔母、硯さんを訪ねる。アラサー独身美女の彼女に、名探偵が解決したはずの、殺人事件の真相を証明してもらうために。詠彦が次々と持ち込む事件ー「手料理は殺意か祝福か？」「『幽霊の証明』で絞殺犯を特定できるか？」「双子の『どちらが』殺したのか？」-と、個性豊かすぎる名探偵たち。すべての人間の思索活動の頂点に立つ、という数理論理学で、硯さんはすべての謎を、証明できるのか！？第５１回メフィスト賞受賞作！！
大学生の詠彦は、天才数理論理学者の叔母、硯さんを訪ねる。アラサー独身美女の彼女に、名探偵が解決したはずの、殺人事件の真相を証明してもらうために。詠彦が次々と持ち込む事件ー「手料理は殺意か祝福か？」「『幽霊の証明』で絞殺犯を特定できるか？」「双子の『どちらが』殺したのか？」-と、個性豊かすぎる名探偵たち。すべての人間の思索活動の頂点に立つ、という数理論理学で、硯さんはすべての謎を、証明できるのか！？第５１回メフィスト賞受賞作！！
