In this paper we define an arithmetic theory PAM , which is an extension of Peano arithmetic PA, and prove that models of the theory PAM include the standard P A–model and a very bounded set of non-standard PA–models. We formulate and justify (on a content level) the hypothesis stating that theory PAM has only one (up to isomorphism) model, which is the standard PA–model.
All rights reserved