El programa de Hilbert hizo concebir la posibilidad de unas matemáticas en que la propia consistencia de axiomas escogidos fuera verificable de manera relativamente simple.