>>724
あれ？認めちゃったんだｗ

じゃあ
∀x∈ℕ.∃(x+1).x<x+1
はOKってことね？∃の後ろは変数なんでしょ？

すると
∀x∈ℕ.x<x+1
と
∀x∈ℕ.∃(x+1).x<x+1
の違いは何だと言ってるの？