>>422
＞公理系とは複数、つまり2つ以上の公理の集合であって、
＞公理系のすべての公理を満たさなければ、その公理系での話にはならない。

｛ｘ　、ｘ｝＝｛ｘ｝と
｛ｘ　、Ｘ｝≠｛ｘ｝という公理を含む公理系を
同時に使えないといっていうる

自然数の公理と集合の公理を同時に使うの
Ａ　→Ａの否定　となってないので問題ない