2 ms·
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 high
by mkl 5y ago
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.
- andi999 5y agoYes, 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