>>72 補足
>なぜ、ZFC公理まで遡らなくても数学が出来るの？
>人の脳には、言語化されない 生物としての能力が沢山あるのです（下記など）
>『”厳密性を数学と取りちがえるという勘違い”（渕野語録）』を、百回音読しよう！ ｗ ；ｐ）

・21世紀にはっきりしたことは
　ZFCは、多くの基礎論以外の数学者がやっている数学研究には役立たない
・その大きな原因の一つが、ZFCの一階述語論理限定だろうと（私的独善と偏見あり）
(なお、下記 youtu.be 数学基礎論ご参照。なお、謎の数学者は、いま日本に帰国されています)
・一方、圏論は一階述語論理に限られないので、流行っています ｗ ；ｐ）
（>>47より 圏論による論理学 高階論理とトポス 清水義夫 2007/12/14 ご参照）

(参考)
youtu.be/jIPjkGPecnE?t=1
数学基礎論、発展と衰退の歴史。約100年間の系譜。
謎の数学者
チャンネル登録者数 2.16万人
24,769 回視聴 2021/05/12 #現役数学者が教える大学数学

youtu.be/1X8npQqoGkQ?t=1
数学基礎論が衰退したのは何故か？理由を考察
謎の数学者
チャンネル登録者数 2.16万人
31,947 回視聴 2021/05/13 #現役数学者が教える大学数学