Re:Elementary Calculus: An Infinitesimal Approach (2000)
by mkl on Thursday June 03, 2021 @08:29AM
(#27380255)
Yes, but what I meant is that there are axioms at the base of this structure, so everything is ultimately built on them. Some people put axiom foundations higher up too, like axiomatic real numbers.
[ Parent
| on HN ]
Re:Elementary Calculus: An Infinitesimal Approach (2000)
by andi999 on Thursday June 03, 2021 @08:35AM
(#27380306)
Yes, there are of course axioms, but if you have a rich enough set of axioms like zfc, then one should stop piling more axioms (if not absolutely necessary). So of course the question is existence in zfc