Эти два результата широко интерпретируются как показывающие, что программа Гильберта по поиску полного и непротиворечивого набора аксиом для всей математики невозможна, что дает отрицательный ответ на вторую проблему Гильберта.
Большинство людей думают, что они показывают, что программа Гильберта по поиску полного и непротиворечивого набора аксиом для всей математики невозможна. Это дало бы отрицательный ответ на вторую проблему Гильберта.