It is not the case that Hilbert's distinction between formal systems and their intended domains supports the view that the standard model N is fixed by our pre-formal grasp of the natural numbers, not by any axiom set.
?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.