Программа Гильберта
Основная задача Гильберта, как он ее формулирует: «Восстановить прежнюю добрую славу непоколебимой строгости математики, как будто потерянную ею под ударами парадоксов теории множеств». Надо сказать, что Гильберт не был против самой теории Кантора и тем более не отрицал ее значения и вклада в историю математики, тем не менее, он прекрасно понимал, что математика не может остаться прежней, в связи с теми противоречиями, что показала теория множеств. Следовательно, единственный путь сохранить математику как строгую науку, не терпящую сослагательного
Как это описывает сам Гильберт, в своей работе «Основания геометрии»: есть два метода, один генетический и другой аксиоматический, первый
Такие доказательства применяются во многих науках, но основной областью применения являются математика и логика. Таким образом, основная идея Гильберта — полная формализация языка науки, при которой ее суждения рассматриваются как последовательности знаков (формулы), приобретающие смысл лишь в решении конкретной задачи и зависящие от интерпретации. Кроме этого, чтобы вывести из этих аксиом теоремы требуется особый метод вывода, правила которого Гильберт также сформулировал.
Доказательство в такой теории — это некоторая последовательность формул, каждая из которых либо есть аксиома, либо получается из предыдущих формул последовательности, следуя одному из правил вывода. Главным требованием Гильберта, предъявляемым к системам, сконструированным таким способом — непротиворечивость аксиом. Как говорит об этом В. А. Светлов: «Такая математика подобна шахматной игре, в которой фигуры — ограниченный запас символов, а расположенные фигур на доске — объединение символов в формулу» 5 .