Mathematics

From Gödel's incompleteness theorem we know that there would be non-standard models where the Gödel sentence would be false. These models will have an initial segment isomorphic to standard natural numbers. Will there be a minimal non-standard number in such models such that every number smaller than it is a standard natural number and every number bigger than it would be non-standard ?

Since non-standard model would be a model of arithmetic then I think there should be a minimal non-standard number, but then maybe my concept is unclear about it. Any help?

is a duplicate

This question has been asked before and has already been answered. It should be marked as a duplicate.

Please enter the URL of the proposed duplicate in the details field below.

not constructive

This question cannot be answered in a way that is helpful to anyone. It's not possible to learn something from possible answers, except for the solution for the specific problem of the asker.

Communities

Comments on Minimal non-standard number in non-standard models of PA

Minimal non-standard number in non-standard models of PA

2 comment threads