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.
Nếu như lý thuyết chứng minh và lý thuyết mô hình đã là cơ sở của logic toán học, thì chúng chỉ là hai trong bốn trụ cột của ngành học đó.