09/05/22 22:21:52 /Kv3Urh00
>>318
多分、ペアノの公理とかその辺の話じゃね？
石ころひとつで一。
もうひとつ石ころで二。
つまり石ころ二つで二。
だから１+１=２みたいな説明を経験に即した直観的な説明とする。
それに対して全ての自然数を矛盾のない規則で定義する、
その規則群は穴があってはならないし、無駄があってもいけない、
そして矛盾も当然駄目、そういう洗練された規則群=公理系
を作りだすのが数学的な説明だとすれば
これは結構骨の折れる仕事じゃなかろうか。
以上ガチ文系の自分の理解。