Ils sont généralement considérés comme montrant que le programme de Hilbert pour trouver un ensemble complet et cohérent d'axiomes pour toutes les mathématiques est impossible, ce qui donne une réponse négative au deuxième problème de Hilbert.
La plupart des gens pensent qu'ils montrent que le programme de Hilbert pour trouver un ensemble complet et cohérent d'axiomes pour toutes les mathématiques est impossible.