>>96
相変わらずメチャクチャだな

＞(2)　(∀x)x=0
より、全称例示化で、1=0が出るので矛盾だよ

＞つまり(2)において∀x(x=0)をみたすxは0に限られる
それゆえ(2)から矛盾が出るので(2)の記号化は間違っていると指摘してるわけだが？