>>910
>何で価値のある公理系と無価値な公理系があるのか、
>というのは確かに大きな問題なんだけど、
>我々が元々持っていた概念を抽象化して形式化、公理化したからじゃないの？

無邪気だな。
非ユークリッド幾何学なんて我々の直感と反するだろ。
エキゾチックな球面というのもある。