En 1934 Gerhard Gentzen introdujo las nociones básicas que llevaron al desarrollo de la moderna teoría de la demostración.