オレンジ的に疑問だったのは、「数学は証明により成り立っていて、自然科学と違い帰納的では無い」、その証明自体を帰納法に頼らず行うことはできるのか？＞＜(数学的にはそこはどう考えるのか？)
って所で、「じゃあ計算間違いでは無いとか、他の既知の理論との矛盾は無いとかはどうやって証明するの？＞＜」って言いたい＞＜(メタな考え方だけど＞＜)