La teoría de la demostración formal comenzó con la crisis sobre los fundamentos de las matemáticas de las primeras décadas del siglo XX.