>>324よって●はxになることはない

公理は前提になる恒真命題なので
｛ｘ　、ｘ｝＝｛ｘ｝は前提となる恒真命題

ｘを何に置換ても常に真というのが恒真命題だ

ｘを●に置き換えると矛盾となるので
ｘを●に置き換える事はできない
ということは｛ｘ　、ｘ｝＝｛ｘ｝が恒真命題でなない
ということで｛ｘ　、ｘ｝＝｛ｘ｝は前提としての公理になれない
ということになる



ということは