18/08/20 10:29:18.32 KezjObN6.net
>>1は"pr"を変数のつもりで使っているので、>>1が言うところの「u(pr)pr＋1」は
「xの多項式 u(x)x＋1」と同じ意味になる。つまり、>>1はずっとQ[x]の上で考えていて、
Zの上で考えていない。なのに途中で両者を混同してZの上で考えているかのように振る舞い、
矛盾が起きたと主張する。もちろん矛盾は起きてない。
さんざん言われているように、∀と∃の区別がついてないとか、変数と定数の区別がついてないとか、
そういうところに根本的な問題点がある。