全ての命題が真かもしれないという事実

**１３２人目の素数さん** · 2020/07/30(木) 23:11:06.64

どう思う？
ゲーデルの不完全性定理によって数学の無矛盾性は証明できない
よって「全ての命題が真」が"数学の答え"だということを否定できない

**１３２人目の素数さん** · 2020/08/05(水) 20:46:28.45

>>131
数学が矛盾してないことは健全性定理により具体的なモデルを見つけることで確かめることが可能なのですが、なにがギャンブルなのでしょうか

**１３２人目の素数さん** · 2020/08/05(水) 21:45:36.60

>>131
というかバグが潜在的にあっても騙し騙しシステム使うのが現代社会ですよ。
文学部卒の基礎論厨こそバグとりに奴隷のごとく強制動員するべき。