数理論理学（数学基礎論） その12

[0487 １３２人目の素数さん 2018/01/04(木) 06:15:28.21 ID:GIX2T8Bl]

数学上の未解決問題などは”真偽が決定できない命題”の典型的な例だ。

その真偽は Only Heaven Knows だ。