19/04/22 18:11:42.59 jO4dRJrF.net
>>300あと別に適応できないものがあっても、公理的集合論が間違ってるとかいうわけではないですからね
●と○が区別できる場合
ケース１ 「●○ 」
ケース２ 「 ●○」
ケース３ 「● ○」
ケース４ 「○ ●」
上記の○を●にかえて
２個の区別のできな●●にしてみる
ケース１ 「●● 」
ケース２ 「 ●●」
ケース３ 「● ●」
ケース４ 「● ●」
ケース３は「● ●」
ケース４は「● ●」
「● ●」と「● ●」は区別がつかない
公理的集合論の外延性の公理により
｛ｘ 、 ｘ｝＝｛ｘ｝なので
｛「● ●」 、「● ●」｝＝｛「● ●」｝
となりケース３＝ケース４で同一なので１個のケースになった
上記の話をまとめると
２個の●と●が同一なので
２個の「● ●」と「● ●」は１個の「● ●」になった
●の場合は同一な２個の●が存在し
「● ●」の場合は同一ら１個になっている
これは
｛ｘ 、ｘ｝＝｛ｘ｝が真の命題となり かつ
｛ｘ 、ｘ｝＝｛ｘ｝が偽の命題になっている