>>407
＞当然ZFCから一部の公理を除いて、
＞> ●を元とするする集合
＞の存在を公理として追加したものを考えたって構わない

１つの事象のなかで２つの公理を使うわけにはいかない


　ケース１　「●●　　　　　　　」　
　ケース２　「　　　　　　　●●」　
　ケース３　「●　　　　　　　●」　
　ケース４　「●　　　　　　　●」


ケース３は「●　　　　　　　●」
ケース４は「●　　　　　　　●」

「●　　　　　　●」と「●　　　　　●」は区別がつかない

公理的集合論の外延性の公理により
｛ｘ　、　ｘ｝＝｛ｘ｝なので
｛「●　　　　　　●」　、「●　　　　　●」｝＝｛「●　　　　　●」｝
となりケース３＝ケース４で同一なので１個のケースになった

これは
「同一なものが２個存在する」　→　「同一なら１個」
となっている

「同一なものが２個存在する」　が前提で　「同一なら１個」　が結論だ


ようするに１つの論証の中で
２つの公理を使うわけにはいかない