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

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


 ケース1 「●●       」 
 ケース2 「       ●●」 
 ケース3 「●       ●」 
 ケース4 「●       ●」


ケース3は「●       ●」
ケース4は「●       ●」

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

公理的集合論の外延性の公理により
{x 、 x}={x}なので
{「●      ●」 、「●     ●」}={「●     ●」}
となりケース3=ケース4で同一なので1個のケースになった

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

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


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