推理小说虽然是用自然语言写成的,却和形式系统具有相同的性质。文学少女陆秋槎,为探究推理小说的严密性,误闯数学少女韩采芦的寝室,由此展开了一系列思维及身体的大冒险。 推理小说的真相,能否像数学定理那样得到无懈可击的证明?困扰数学界358年的费马大定理,其证明史能否改写成一篇猜凶手谜题?看似条件不足无从推理的案件,又是否能另辟蹊径、直抵真相?最终,她们的友谊又回如何收场?