>>405
昔の数学基礎論研究者が集合論を使ったのに変わって、
いまは圏論を基礎に使おうとしているのを知らないのかな?