La teoría de la demostración y la teoría de modelos fueron el fundamento de la lógica matemática.