構築不能な完全性

1作品

「構築不能な完全性」の小説を書く

小説を書くにはユーザー登録（無料）が必要です。もしくは、ログイン

「構築不能な完全性」に関する小説一覧（人気順）

この世界では、君が公理だ。

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

可愛い女の子は、うんこをしないのではないか—— 数学科の大学生・鈴木直也は、ふと浮かんだその命題を「P」と名づけた。 それは冗談ではなく、証明すべき命題だった。 彼は数理論理学…

★3 現代ファンタジー 完結済 8話 9,184文字 2025年5月8日 22:10 更新

一次小説うんこ数学数理論理青春構築不能な完全性公理不完全性定理