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.
Доколку доказната теорија и теоријата на моделите се основата на математичката логика, тие се само два од четирите столба на предметот.