The first significant result in what is now model theory was a special case of the downward Löwenheim–Skolem theorem, published by Leopold Löwenheim in 1915.
Το πρώτο σημαντικό αποτέλεσμα σε αυτό που σήμερα είναι η θεωρία μοντέλων ήταν μια ειδική περίπτωση του κάτω (downward) θεωρήματος Λέβενχάιμ-Σκόλεμ, που δημοσιεύτηκε από τον Λέβενχάιμ το 1915.