It is not the case that Skolem's original (1933) construction of non-standard arithmetic was intended to show the indeterminacy of the natural number concept, not to populate models with a new category of object.
?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.