Gödel'in 1931'de yayınladığı eksiklik teoremleri, matematiğin temellerini sarsarak, tutarlı bir aksiyom sisteminin doğal sayılar aritmetiğindeki tüm doğruları ispatlayamayacağını ve kendi tutarlılığını kanıtlayamayacağını gösterdi. Bu teoremler, Hilbert'in tüm matematik için tam ve tutarlı bir aksiyom seti bulma hayalini çürüttü ve Tarski, Church, Turing gibi matematikçilerin biçimsel sistemlerin sınırlarını aydınlatan çalışmalarına kapı araladı.