>>419
> １つの事象のなかで２つの公理を使うわけにはいかない
> ようするに１つの論証の中で
> ２つの公理を使うわけにはいかない
公理系とは複数、つまり2つ以上の公理の集合であって、
公理系のすべての公理を満たさなければ、その公理系での話にはならない。
例えば特殊相対性理論の光速度普遍の原理だけを採用して、特殊相対性原理を採用しないとしたものは、もはや特殊相対性原理ではない、ということと同じこと
外延性の公理だけで公理的集合論だとか話にならない


> ｛「●　　　　　　●」　、「●　　　　　●」｝＝｛「●　　　　　●」｝
ZFCでは正則性公理より集合ではないし、

> 「●　　　　　　●」と「●　　　　　●」は区別がつかない
という命題を
> ｛「●　　　　　　●」　、「●　　　　　●」｝＝｛「●　　　　　●」｝
という式で表そうとして不具合が起こるといっているのはあなたなんだから、
ZFCとは無関係だから独自の公理系で勝手にやってくれ