真相乃是，可以演算的。
大学生咏彦前来拜访他身为天才数理逻辑学家的小姨，砚小姐。
为了让这位三十多岁的单身美女，证明本应被名侦探决了的杀人事件之真相解。
咏彦一次次带来了不同的案件——
「亲手制作的料理是杀意还是祝福？」
「『幽灵的证明』能否锁定绞杀犯的身份？」
「双胞胎中『哪一个』犯下了凶案？」
——以及解决这些案件的，个性过于鲜明的名侦探们。
站在人类所有思维活动之顶点的数理逻辑学家砚小姐，能否将全部谜题一一证明!?
作者
