If proof theory and model theory have been the foundation of mathematical logic, they have been but two of the four pillars of the subject.
Η θεωρία απόδειξης και η θεωρία μοντέλων ήταν τα θεμέλια της μαθηματικής λογικής, αλλά δύο από τους τέσσερις πυλώνες του θέματος.