>>669
公理的集合論のwiki
https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
の正則性公理を見たが、説明がサッパリ分からない。
何で交わるの記号に「⊂、⊃」でなく「∈、∋」を使っているんだ？