Using the downward Löwenheim–Skolem theorem, one can show that the minimal model (if it exists) is a countable set.
Χρησιμοποιώντας το καθοδικό θεώρημα των Löwenheim–Skolem, μπορούμε να δείξουμε οτι το ελάχιστο μοντέλο (εαν αυτό υπάρχει) είναι ένα αριθμήσιμο σύνολο.