FOM: What is the standard model for PA?

[Vaughan Pratt]

From: Torkel Franzen
>In your comments, you remark that "and so on" doesn't even say
>that there is no last natural number. Sure, but you're not saying
>that there is any unclarity about whether or not there is a
>last natural number. You know there isn't, just as I know it. So
>no unclarity on that score.

The problem with "there is no last natural number" is not truth but
consequence.  We all agree it's true, the indeterminacy concerns its
consequences.  If there is no last natural number, does that mean they
go on for ever, and if not where do they stop?  Please pin down that
boundary determinately.

Vaughan Pratt