概要
この世界では、君が公理だ。
可愛い女の子は、うんこをしないのではないか——
数学科の大学生・鈴木直也は、ふと浮かんだその命題を「P」と名づけた。
それは冗談ではなく、証明すべき命題だった。
彼は数理論理学の知識をもとに、命題Pを体系Zの中で証明しようと試みる。
観測、推論、背理法、不完全性定理——
しかし、現実の論理では彼女たちの排泄を証明することも、否定することもできなかった。
そんな中、彼はひとりの少女・綾原しずくに出会う。
彼女は、命題Pを満たす唯一のモデルだった。
「私、本当に……したことないかもしれない」
彼女の存在が、彼の数学を変えた。
常識という公理系Zを越えて、直也は**新しい世界Z′**を構築し始める。
そこでは、可愛い女の子が排泄しないことが、出発点となる真理だった——。
これは、「証明で
数学科の大学生・鈴木直也は、ふと浮かんだその命題を「P」と名づけた。
それは冗談ではなく、証明すべき命題だった。
彼は数理論理学の知識をもとに、命題Pを体系Zの中で証明しようと試みる。
観測、推論、背理法、不完全性定理——
しかし、現実の論理では彼女たちの排泄を証明することも、否定することもできなかった。
そんな中、彼はひとりの少女・綾原しずくに出会う。
彼女は、命題Pを満たす唯一のモデルだった。
「私、本当に……したことないかもしれない」
彼女の存在が、彼の数学を変えた。
常識という公理系Zを越えて、直也は**新しい世界Z′**を構築し始める。
そこでは、可愛い女の子が排泄しないことが、出発点となる真理だった——。
これは、「証明で
おすすめレビュー
書かれたレビューはまだありません
この小説の魅力を、あなたの言葉で伝えてみませんか?