The second model language works only as long as we do not add to it the means of proving the usual theorems of arithmetic for example, Euclid's theorem that there is no greatest prime number, or even the principle that every number has a successor.