Thus the first-order theory of real numbers and sets of real numbers has many models, some of which are countable.
Για αυτό και η πρώτης τάξης θεωρία των πραγματικών αριθμών και συνόλων έχει πολλά μοντέλα, κάποια από τα οποία είναι μετρήσιμα.