0419名無しさん@1周年垢版 | 大砲2018/01/14(日) 17:40:49.91ID:vdoqFLfW0 >>405 昔の数学基礎論研究者が集合論を使ったのに変わって、 いまは圏論を基礎に使おうとしているのを知らないのかな?