The early development of mathematical proof theory was driven by the desire to provide finitary consistency proofs for all of mathematics as part of Hilbert's program.
Wczesny rozwój teorii dowodu był napędzany chęcią podania skończonych dowodów niesprzeczności dla całej matematyki w ramach programu Hilberta.