20/05/08 00:43:57 YwOdwjHq.net
>>386
選択公理が抜けてると仮定するでしょ。
だったら選択公理と同値なAxiom of regularityも抜けるだろ？
で、Axiom of regularityが抜けたら∈-無限下降列の禁止が抜けるだろ？
∈-無限下降列が抜けたらa∈aが成り立つようになってしまう。
a∈aを認めてることが同一のものを異なるようにするトリックなんじゃないの、と。
20/05/08 00:43:57 YwOdwjHq.net
>>386
選択公理が抜けてると仮定するでしょ。
だったら選択公理と同値なAxiom of regularityも抜けるだろ？
で、Axiom of regularityが抜けたら∈-無限下降列の禁止が抜けるだろ？
∈-無限下降列が抜けたらa∈aが成り立つようになってしまう。
a∈aを認めてることが同一のものを異なるようにするトリックなんじゃないの、と。