3 ms·
The field of constructive analysis would beg to differ with you. An amazing amount of real analysis can be done with absolutely no reference to the excluded mi
by btilly 5y ago
The field of constructive analysis would beg to differ with you.
An amazing amount of real analysis can be done with absolutely no reference to the excluded middle, completeness axiom, or accepting the existence of uncountable sets.