なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？

なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？at MATH

なぜ数学の非専門家は「選択公理」や「不完全性定理」が好きなのか？ - 暇つぶし2ch841:１３２人目の素数さん
24/05/08 15:05:39.87 W+FCqGvO.net
真偽定義述語だとパラドックスを免れないのは
「真でも偽でもない」という逃げ道がないから
証明可能性述語の場合は「証明も反証もできない」が許される

次ページ

続きを表示

1を表示