However, the Löwenheim–Skolem theorem shows that most first-order theories will also have other, nonstandard models.
Παρ' όλα αυτά το θεώρημα Λόβενχαϊμ-Σκόλεμ δείχνει ότι οι περισσότερες θεωρίες θα έχουν άλλα, μη τυποποιημένα μοντέλα.