Estos teoremas finalizaron medio siglo de intentos académicos (comenzando con el trabajo de Frege y culminando en los "Principia Mathematica" y en el formalismo de Hilbert) por encontrar un conjunto de axiomas suficiente para toda la matemática.