Re: what makes it true?



Torkel Franzen wrote:
> "The" standard model is any model isomorphic to the natural numbers.

"The" natural numbers being defined as...?


- Tim
.