I am trying to construct a non-standard model < A,0,S,+,*,E,< > that has as its domain the natural numbers plus the letter a such that the model(adsbygoogle = window.adsbygoogle || []).push({});

1. Makes all of the axioms of number theory true (Say, Mendelson's S)

2. Makes a < a.

So in this model the domain has already been specified. We take < to be just like < in the standard model except that we add the couple <a,a> to it. We take 0 to be the same as in the standard model. We take S to be just like S in the standard model with the addition that that S(a)=a. We take + to be just like the standard model except that

a + a = a

0 + a = a

for n > 0, a + n = n

We take E to be the same as in the standard model with the addition that aE0 = S(0).

Does that do the trick? I can't see where I've made any of Mendelson's axioms false.

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Constructing a non-standard model

**Physics Forums | Science Articles, Homework Help, Discussion**