公理主義の皆さんに聞く。
数学者が自由に公理系を設定して、そこから理論を組み立てたと仮定しよう。
事実と異なるが。

それが現実世界で不思議に役に立つのはどう説明する？