[lostmsu]

> 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_...

[drdeca]

I’m aware of constructive math. You still have the type of natural numbers in that?