It is not the case that A proof is genuinely intuitive only if its core objects can be concretely exhibited or approximated, which hyperreals as equivalence classes of sequences under ultrafilters cannot be.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.