>>155

でも

a = 2y/(1+p+p^2+p^3+p^4+p^5)、c=2y/(1+p+p^2+p^3+p^4+p^5)/p^5
u = (1+p+p^2+p^3+p^4+p^5)/(1+p)
s = a/c = p^5、v=(u-1)/2 = (p^2+p^3+p^4+p^5)/(1+p)/2
w =(p+p^2+p^3+p^4)/(1+p)/2、z=(1+p+p^2+p^3/(1+p)/2
A = (2z − 1)/p = (p+p^2/(1+p)
B = A/p = (1+p)/(1+p) = 1
C = (B-1)/p = 0
D = 0

でこの８行の式はなにも矛盾していませんよね？
べつに上の8行が任意の p で成立するからといって矛盾しないし、
∀p φ(p) ⇒ ∃p φ(p)
は矛盾してるわけではないので上の式変形を今我々が考えている p に適用することで何も矛盾を生じません。
矛盾するというなら別のルートで D≠0 が示さないといけませんが、それはどこでしめされているでしょう？
「D=0なら何が任意のpで何かが成立するから矛盾」ということですが、具体的にどの式が任意の p で成立するから矛盾なんですか？