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