News for hackers. Stuff that matters.

A comment on Elementary Calculus: An Infinitesimal Approach (2000). Parent comment

Re:Elementary Calculus: An Infinitesimal Approach (2000) by andi999 on Thursday June 03, 2021 @08:22AM (#27380195)
They are not all build from axioms but from definition (apart from some models of natural numbers, or you go back to ZFC). Like C is build from R^2, R from the powerset of Q, Q from integer^2, integer from natural numbers.

Otherwise you do not easily know if your axioms are actually consistent.

[ Parent | on HN ]
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
[ Parent | on HN ]