This shows that it is impossible for a set of first-order axioms to characterize the natural numbers, the real numbers, or any other infinite structure up to isomorphism.
Αυτό δείχνει ότι είναι αδύνατο για ένα σύνολο από πρωτοβάθμια αξιώματα να χαρακτηρίζουν τους φυσικούς αριθμούς, τους πραγματικούς, ή οποιαδήποτε άλλη άπειρη δομή διαφέρει μέχρι ένα ισομορφισμό.