The second-order theory of the real numbers has only one model, however.
Η δεύτερης τάξης θεωρία για τους πραγματικούς αριθμούς από την άλλη έχει ένα μοναδικό μοντέλο.