文學少女對數學少女【完】

4211
  推理小說雖然是用自然語言寫成的,卻和形式系統具有相同的性質。文學少女陸秋槎,為探究推理小說的嚴密性,誤闖數學少女韓采蘆的寢室,由此展開了一系列思維及身體的大冒險。
  
  推理小說的真相,能否像數學定理那樣得到無懈可擊的證明?困擾數學界358年的費馬大定理,其證明史能否改寫成一篇猜兇手謎題?看似條件不足無從推理的案件,又是否能另辟蹊徑、直抵真相?最終,她們的友誼又回如何收場?