Inter-universal geometry と ABC 予想 46

Inter-universal geometry と ABC 予想 46at MATH

Inter-universal geometry と ABC 予想 46 - 暇つぶし2ch130:１３２人目の素数さん
20/04/04 22:06:37.58 fQZCog0l.net
素朴な疑問なんですが、数学では
自由な公理系を提案してそれが「無矛盾？」ならその公理系の公理と定義を自由に
既存定理の証明に使っていいんでしょうか？
そもそもそういうことではないんでしょうか？
物理学などの自然科学なら実測と整合すれば正解になるのに数学の「正解」判定って
素人には想像できない難解ですね

次ページ

続きを表示

1を表示