До Геделя существовала проблема аксиоматизации математики и проблема таких парадоксальных предложений, которые формально можно записать на любом языке. Например: «Это утверждение ложно». Какова истинность этого утверждения? Если оно истинно, значит, оно ложно, если оно ложно, значит, истинно; получается языковой парадокс. Гедель исследовал арифметику и показал в своих теоремах, что ее непротиворечивость не может быть доказана, исходя из ее самоочевидных принципов: аксиом сложения, вычитания, деления, умножения и проч.
