The period after World War II, when mathematical logic branched into four inter-related but separate areas of research: model theory, proof theory, computability theory, and set theory, and its ideas and methods began to influence philosophy.
Η περίοδος μετά τον Δεύτερο Παγκόσμιο Πόλεμο, όταν η μαθηματική λογική χωρίστηκε σε τέσσερις αλληλένδετες αλλά ξεχωριστές περιοχές της έρευνας: θεωρία μοντέλων, θεωρία αποδείξεων, θεωρία υπολογισμού και θεωρία συνόλων, και οι ιδέες και μέθοδοι της άρχισαν να επηρεάζουν τη φιλοσοφία.