20/06/08 23:13:55.88 idFZ52DT.net
>>96
相変わらずメチャクチャだな
＞(2) (∀x)x=0
より、全称例示化で、1=0が出るので矛盾だよ
＞つまり(2)において∀x(x=0)をみたすxは0に限られる
それゆえ(2)から矛盾が出るので(2)の記号化は間違っていると指摘してるわけだが？
20/06/08 23:13:55.88 idFZ52DT.net
>>96
相変わらずメチャクチャだな
＞(2) (∀x)x=0
より、全称例示化で、1=0が出るので矛盾だよ
＞つまり(2)において∀x(x=0)をみたすxは0に限られる
それゆえ(2)から矛盾が出るので(2)の記号化は間違っていると指摘してるわけだが？