[FOM] Ruling-out Nonstandard Models of 1st-Order PA

Robbie Lindauer robblin at thetip.org
Sat Oct 28 00:07:26 EDT 2006

A naive question:

Why rule out non-standard models of 1st-Order PA?

What's wrong with having other models?  Why should we be making our 
model-world smaller and not larger?

Cantor's Freedom Principle, roughly, "as long as numbers a conceptually 
distinct from each other and their relations well defined, mathematics 
should be free to use them".

Why should this not be so of models of PA?

Robbie Lindauer

More information about the FOM mailing list