El concepto se remonta a la escena de la filosofía del siglo XX como resultado de los trabajos del matemático alemán David Hilbert que publicó en 1905 una propuesta de la consistencia de las matemáticas creando un campo al que denominó "Metamatemáticas".