Why isn't there a contradiction between compactness and the Archimedean property when we create non-standard models of real numbers? I have a question about compactness, non standard models of reals and illusory paradoxes.
Now, we know that because of the compactness theorem in FOL there are, for instance, non standard models of reals.
In fact, if we call R the collection of all (and only) the true formulae in the standard model of real numbers, because of compactness there will be a model of R in which there are infinitely large numbers (ie. objects that do not respect the Archimedean property).
Proving that this holds true is extremely simple. Let us extend the signature of real numbers theory with a new constant, ∞. Let's create a new set of formulae and call it T, where T={n<∞|n∈N} and now consider the set of formulae R∪T. Every finite subset of R∪T has a model because the standard model obviously satisfies it (you just keep interpreting ∞ in a large enough real number to validate all the formulae in F). Hence, by the Compactness Theorem, R∪T has a model. This  model will make true all the formulae in R, so it is a model of reals, but it is an alternative model of reals because it will make true all the formulae in T. So ∞ must be interpreted in an element of this new model which will be bigger (in the new, non standard, order relation) than any (non standard) natural number. ∞ will indeed be an infinite element that contradicts the Archimedean property for standard real numbers.
The problem is this. The "Archimedean property sentence", ie. the FOL formal sentence that in the standard model expresses the Archimedean property, being true in the standard model, is obviously one of the formulae in R, so it must also be true in the non-standard model.
There seems to be a contradiction between this sentence being true in the non-standard model, and the existence of a real number with the properties of ∞. I sort of understand that there really isn't a contradiction because, being a non standard model, there will be something in the interpretation of fundamental symbols that is different from the standard one in a way that dissolves the contradiction, but I am unable to point out exactly and with clarity why there isn't a contradiction. Can anyone help me? Thanks a lot.
 A: Not only that the Archimedean property is not a first-order property, if we add $\Bbb N$ as a predicate to the language, making it a first-order property (by saying $\forall x\exists n(x<n\land n\in\Bbb N)$, for example), then compactness will simply "extend" that predicate.
Compactness lets you create new models, or even extensions of your current model, but it brings in some wildness into the mix. In this case, $\Bbb N$ will be re-interpreted as a non-standard model of $\sf PA$. And indeed, in any non-Archimedean field we can consider such a copy of non-standard integers (note that if the language does not contain some additional predicates or function symbols, this copy might not be definable itself).
A: As your compacity argument shows, the property of being Archimedean is not expressible in first order in that language (and, hence, the set $\mathbb{N}$ of natural numbers is not a definable subset of $\mathbb{R}$).
A: The "true" Archimedean property cannot be expressed in first-order logic. This is because, in order for it to work, you need a sense for which "$n$ is a natural number" to hold. Yet there is no first-order way to define this predicate - this can be seen when you look at what Peano's axioms for the natural numbers look like, which contain the following statement:

Induction: Suppose $S$ is any set of natural numbers containing $0$ and which is closed under succession, i.e. if $n \in S$ then $n + 1 \in S$. Then every natural number is contained in $S$.

The problem here is in the "any set" part. First-order logic cannot deal with that. The same goes with first-order ZFC. It can't "really" quantify over sets, only internal objects we "think to be sets".
You can write this statement in second-order logic, and perhaps there are still other kinds of logics that might be able to make it. However, they come with a price: you lack an algorithmically decidable (and thus presumably, physically decidable as well) deduction system, i.e. there is no computer program (or perhaps, even physically realizable process) that, if you feed it a bit of reasoning in the logic, will reliably tell you if it's valid or contains a fallacy.
In first-order logic we must weaken "set" to "a predicate $\phi$ on the natural numbers", and adjoin one copy of the axiom for each such predicate - that is, a finite formula involving the variable $n$, arithmetic operators, and logical operators, e.g. $\phi(n) = (n \ge 50) \wedge (n \le 100)$ is the predicate defining the set of natural numbers from 50 to 100 inclusive. The trick is that there are only countably many such formulas, but there are uncountably many total possible subsets of any candidate for $\mathbb{N}$, and thus the induction postulate is unable to "audit" them all to make sure that they didn't miss some "weeds" in amongst the naturals - those "weeds", of course, being the non-standard numbers you talk about.
And when you use that $\mathbb{N}$ to interpret the Archimedean property, it is kind of like using a ruler with large inches. Yes, my house is 6 inches tall according to a certain ruler - the caveat is that the "inches" are actually 2 feet long.
