(In fact, every real-closed field satisfies the same first-order sentences in the signature ⟨ + , ⋅ , ≤ ⟩ {\displaystyle \langle +,\cdot ,\leq \rangle } as the real numbers.)
(Στην πραγματικότητα, κάθε real-closed field ικανοποιεί τις ίδιες πρώτης τάξεως προτάσεις στην υπογραφή ⟨ + , ⋅ , ≤ ⟩ {\displaystyle \langle +,\cdot ,\leq \rangle } όπως οι πραγματικοί αριθμοί.)