In the early 20th century it was shaped by David Hilbert's program to prove the consistency of foundational theories.
I begyndelsen af 1900-tallet blev den udformet af David Hilberts program til bevisførelse for konsistensen af grundlagsteorier.