>x+1が仮に変数だとして
仮とは？　変数か変数でないかどちらか　君は変数であるとの主張に反論できなかった

>＞∀x∈ℕ.∃(x+1).x<x+1
>これをα変換したら
>∀x∈ℕ.∃y.x<x+1
>なのか
>∀x∈ℕ.∃y.x<y
>なのかすら不明瞭な状態で
じゃα変換しなきゃいいじゃん