>>709
お前がどうしてもx+1を変数だと言うなら

＞そんなことは聞いてない
＞∀x∈ℕ.x<x+1
＞と
＞∀x∈ℕ.∃(x+1).x<x+1
＞の違いを聞いている
＞おまえは∃の後ろに変数以外を書くなと言ったが、x+1は変数ではないと？じゃ何？

これの後者はα変換したら
∀x∈ℕ.∃y.x<y
と同じだろ
∀x∈ℕ.x<x+1
とは明らかに違うだろ

あと、お前はd/d(x+1)みたいに(x+1)で微分とか普段からしてんのかよ