3 ms·
> 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
by lostmsu 6mo ago
> 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_mathematics) https://en.wikipedia.org/wiki/Constructivism_(philosophy_of_...
- drdeca 6mo agoI’m aware of constructive math. You still have the type of natural numbers in that?