∀x∈ℕ.∃(x+1).x<x+1　───①
に於いて、xは定数なのぢゃ🧖
変数と思い込んでる∀の地球人よ。
∀xは変数であるが、xは定数です。
①のxに定数である零を代入し、
①の∀は消去してみると、
①は、0∈ℕ.∃(1).0<1 ───②
②を、ピミ達の💩言語な地球語に翻訳すると

ゼロは自然数、でそれより１デカい数が存在する

という訳。モチロン、ゼロ以外でよろしい
ですが、きっと多分、マイナスはダメ∵①がそもそも変な宇宙言語だ
とにかく、
0∈自然数.ゼロより１デカい１アル　　かつ
1∈自然数.1より１デカい2アル　　かつ
2∈自然数.2より１デカい3アル　　かつ
3∈自然数.3より１デカい4アル　　かつ
・・・
と幾らでもアル。たくさんアル。無限個アル。

いや待てよ。この宇宙に存在する素粒子の数より
大きい数を、超えてもあるのか❓
地球語は、ヘン