> how do you want to talk about things true of all natural numbers then

There's an entire branch of math for that: https://en.wikipedia.org/wiki/Constructivism_(philosophy_of_...