公理的定義があたかもある素朴な概念を定式化しているかのように言われることがあるけれど、例えば、位相空間が素朴な意味での"空間"を定式化できているかと言えば、必要条件としては確かに上手いけれど、一方到底"空間"と呼ぶに値しないつまらない具体例を許容している時点で、何かな、って感じがある