∀n ( ∃m ( n < m ) )
と
∃m ( ∀n ( n ≦ m ) )
の違いが分かりません。
はじめのは、全ての n について、n より大きな m が存在する。
次のは、最大値 m が存在する。
と書いてあるのですが、ほとんど同じに見えます。
∀n ( ∃m ( n < m ) )
と
∃m ( ∀n ( n ≦ m ) )
の違いが分かりません。
はじめのは、全ての n について、n より大きな m が存在する。
次のは、最大値 m が存在する。
と書いてあるのですが、ほとんど同じに見えます。