余談ですが
下記、星裕一郎先生
分かる気がする

人の日常の思考は、公理とか一階述語論理に縛られない
もっと自由で、大空の高階述語論理と地上の一階述語論理とを行ったり来たり

で、数学の教科書や論文の多くは、主に、一階述語論理ベースなのです
その方が、伝わりますからね

で、数学初学者で、一階述語論理ベースでしか考えられなくなると
そういう人は、数学研究者には、なれないのでしょうね

サルみたいな
数学科出身をかたるものがいます。きっとそれでしょうね

https://twitter.com/hoshiyuichiro/status/1398577118720643072
星裕一郎
毎日色々研究上の着想を得ますが，その一部は感覚的で，忠実に記録・出力できません．着想の本質と出力可能部分の交わりが小さい場合があると言うべきでしょうか．その為，せめて何らかの記録可能な段階まで理解を深めようと時間を使い，他事を怠ってしまいます（という「世間」に対する言い訳です）．
午後6:49 ・ 2021年5月29日・Twitter Web App
(引用終り)
以上
https://twitter.com/5chan_nel (5ch newer account)