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