命題Pのモデル ― 可愛い女の子はうんこをしない、という信仰から始まった体系 ―

可愛い女の子は、うんこをしないのではないか——
数学科の大学生・鈴木直也は、ふと浮かんだその命題を「P」と名づけた。

それは冗談ではなく、証明すべき命題だった。
彼は数理論理学の知識をもとに、命題Pを体系Zの中で証明しようと試みる。
観測、推論、背理法、不完全性定理——
しかし、現実の論理では彼女たちの排泄を証明することも、否定することもできなかった。

そんな中、彼はひとりの少女・綾原しずくに出会う。
彼女は、命題Pを満たす唯一のモデルだった。

「私、本当に……したことないかもしれない」

彼女の存在が、彼の数学を変えた。
常識という公理系Zを越えて、直也は**新しい世界Z′**を構築し始める。
そこでは、可愛い女の子が排泄しないことが、出発点となる真理だった——。

これは、「証明で…続きを読む