It is not the case that Ultrafilter existence requires AC, which is unprovable in ZF, so hyperreals lack absolute foundational grounding independent of set-theoretic choices.
?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.