The claim quantifies over all natural numbers using the standard meta-theoretic ℕ, but ultrafinitist...