Suppose that $\varphi$ is a consequence of every standard model of PA. Then is it provable from PA?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
There is (up to isomorphism) only one standard model of PA. And there are sentences true in the natural numbers that are not theorems of PA.