This shows that the second-order theory of the real numbers cannot be reduced to a first-order theory, in the sense that the second-order theory of the real numbers has only one model but the corresponding first-order theory has many models.
Αυτό δείχνει ότι η θεωρία δεύτερης τάξης για τους πραγματικούς αριθμούς δεν μπορεί να υποβαθμιστεί σε πρώτης τάξης θεωρία, με αυτή την έννοια η δεύτερης τάξης θεωρία των πραγματικών αριθμών έχει μόνο ένα μοντέλο αλλά η αντίστοιχη πρώτης τάξης θεωρία έχει πολλά μοντέλα.