20/04/04 22:18:34.29 fQZCog0l.net
四則演算の公理系が「正しい」から、それを使って大切な財産を貸したり振り替えたり
貸したお金がまたもどってきたりを保証して、世界中の人が首を吊らなくて済んでるし、
微分積分の公理系が「正しい」から実測したひずみ値で橋桁や航空機が分解しないこと
が保証されて、人は安心して橋や飛行機に乗ることができますが、実際に命や財産を預
けられる応用に使える数学公理系と、不安定な数学公理系の判別って数学の範疇だけで
閉じてる問題なんでしょうか。すいませんど素人すぎる素朴な疑問で。