Όταν για μια θεωρία διαθέτουμε μοντέλα με άπειρη πληθικότητα, μπορούμε να βρούμε μοντέλα με αριθμήσιμη ή με μή αριθμήσιμη πληθικότητα.
Skolem_Lowenheim
ΑΓΑΠΗΜΕΝΑ
ΕΚΠΑΙΔΕΥΣΗ
Στην υγειά σας
«Τα μαθηματικά είναι η τέχνη να δίνεις το ίδιο όνομα σε διαφορετικά πράγματα.»