>>728
>商集合上の∈がオリジナルの∈とは別モノなのかも知れない。そうでなければ基礎の公理と矛盾。
>全然分からんけど

どうもです
同意です

分からん
それに、基礎の公理って、そんなに絶対視するほどのものかね？
基礎の公理を採用しない集合論もあるみたいだし（と言っても詳しくないけど）

私としては、理解できない、奇妙な発想をしていることは確かですね
で、集合論やめて、圏論じゃということみたい
そこだけは、分かった