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.
Jos todistusteoria ja malliteoria ovatkin olleet matemaattisen logiikan perusta, ne ovat muodostaneet vasta kaksi sen neljästä tukipilarista.