>>823 補足
>”今日、ほとんどの古典的な数学者はプラトニストと見なされており、無限の数学的対象と集合論的宇宙を容易に使用します”

これ、望月IUTそのものかもねｗ

＜プラトニスト説明＞
英文 Platonistにリンクがあって、Platonismに飛ぶ。ここから（左のLanguagesの中の日本語リンク）、和文 プラトニズムに飛べる
私なりの理解は、「イデア＝概念」かな？　「概念」は、ZFC内には存在しえない
しかし、「概念」なしには人は、日常を語れない。日常は厳密な定義が存在しない思考が99％だろう（例えば、ネコブームと言われた。では、”ネコ”の厳密な定義を述べよといわれると困る。辞書には説明がある。しかし、辞書の”ネコ”は説明であって、定義ではないよね）

(>>823再録)
(参考)
https://en.wikipedia.org/wiki/Finitism
Finitism
Hilbert did not give a rigorous explanation of what he considered finitistic and referred to as elementary. However, based on his work with Paul Bernays some experts such as William Tait have argued that the primitive recursive arithmetic can be considered an upper bound on what Hilbert considered finitistic mathematics.

In the years following Godel's theorems, as it became clear that there is no hope of proving consistency of mathematics, and with development of axiomatic set theories such as Zermelo?Fraenkel set theory and the lack of any evidence against its consistency, most mathematicians lost interest in the topic.
Today most classical mathematicians are considered Platonist and readily use infinite mathematical objects and a set-theoretical universe.[citation needed]

google訳より(抜粋)（一部修正）
今日、ほとんどの古典的な数学者はプラトニストと見なされており、無限の数学的対象と集合論的宇宙を容易に使用します。[要出典]

つづく