3 ms·
https://ncatlab.org/nlab/show/real+numbers+object https://ncatlab.org/nlab/show/real+numbers+object you can definitely have real numbers without the infinitesim
by Ericson2314 2y ago
https://ncatlab.org/nlab/show/real+numbers+object https://ncatlab.org/nlab/show/real+numbers+object you can definitely have real numbers without the infinitesimals in constructive math, however.