0623132人目の素数さん垢版 | 大砲2018/02/14(水) 23:22:39.48ID:eAuh02Vf ウルトラフィルターを取る操作と 極大イデアルを取る操作は 本質的に同じ操作なので、ウルトラフィルターが ゴミ屑の概念だと言うなら極大イデアルもそうなる。 連接トポスに関するDeligneの定理と Godelの完全性定理は片方からもう一方を導けるので、 片方が無意義ならもう片方もそうなるだろう。 そうやって数学の各分野を枯れた分野だと言って 切り捨てていけるなら大したものだね