そもそも数学は、数学基礎論や数理論理学が示してきたように、 無定義述語 によって構成される モデル理論 になったわけで、あとは「それ」がどういった構造を表現していると解釈できるのかに還元されてしまった。 このことは、かなり本質的な話になっていて…