文学少女对数学少女认领

“推理小说虽然是用自然语言写成的，却和形式系统具有相同的性质。”文学少女陆秋槎，为探究推理小说的严密性，误闯数学少女韩采芦的寝室，由此展开了一系列思维