自然数論
０＜１、１＜２、２＜３、･･･
という論理式の無限個の集まり、ではない

０∈Ｎ
∀ｎ∈Ｎ．ｎ＋１∈Ｎ＆ｎ＋１＞ｎ
という論理式からなる

とくに後者は、
「任意の自然数ｎについて、ｎ＋１が自然数として存在し、ｎ＋１＞ｎである」
といってるのだから、最大の自然数は存在し得ないのである

もし、1が
「コンパクト性定理により、自然数論の有限モデルが存在する！」
と言い張ってるのなら、コンパクト性定理を完全に誤解している