集合論も圏論も、何か胡散臭い感じはある。だって、完全性も
無矛盾性も証明できてないから。
ただ、今のところ論理的に「矛盾」が見つかっていないから、
俺はユーザーとして、集合論を使っている。
いずれバカを見る可能性は、もちろんある。

ただ、それは君にも言えることだ。
既に>>87で書いたとおり、区体論でも無矛盾性・完全性が
ほとんど証明できてないのだからね。


結局、今の段階では、道具として使いやすい方に人が流れているだけだ。
区体論で無矛盾性・完全性が もし証明できたなら、
いずれ区体論に人が流れるだろう。
逆に、それが出来ないうちは、区体論に人は流れないだろう。