>>751
うん、>>750で、Fresse (Lille).とか入っている
Lilleって、良く知らないが、仏大らしい
みんな、加藤文元本なんか相手にしていない
”全く新しいフレームワークと言語・概念体系”
なんて、あたりまえ
みんな、「おれさま流 ”全く新しいフレームワークと言語・概念体系”」作れば良いと思う人達
仏って、そういう文化だと思うよ

>>752
zfc？
及びじゃない
基礎論以外では
プロ数学者たち、ZFCなんか無視無視
全部自分流で考えて、それで良い
証明にギャップなければそれで良い
そもそも、2-圏論とかそれ以上の圏とかが、ZFCの一階論理内かどうかだけど、そんな話は100年先で良いだろ
まず、IUTをがんがん推進すれば良い。正しければ、理屈は後からついてくる