>>711
答えになってない

おまえはxが変数でなぜx+1が変数でないのか答えてない

おまえはx+1が何か答えてない

おまえは
∀x∈ℕ.x<x+1
と
∀x∈ℕ.∃(x+1).x<x+1
が明らかに違うとしか言っておらずどう違うか答えてない

答えないくせになぜかまったく関係無い微分の話を持ち出している

ていうか、こいつ相手にする必要ある？
ふざけてやってるとしか思えない