Гильберт

Предъявляя к полному решению проблемы требование строгости в доказательстве, я хотел бы, с другой стороны, опровергнуть мнение о том, что совершенно строгие рассуждения применимы только к понятиям анализа или даже лишь одной арифметики. Такое мнение, поддерживаемое иногда и выдающимися математиками, я считаю совершенно ложным. Такое одностороннее толкование требования строгости быстро приводит к игнорированию всех понятий, возникших из геометрии, механики, физики, приостанавливает приток нового материала из внешнего мира и в конце концов приводит даже к отбрасыванию понятий континуума и иррационального числа. А сколь жизненно важный нерв был бы отрезан от математики, если бы из неё пришлось изъять геометрию и математическую физику! Наоборот, я считаю, что всякий раз, когда математические понятия зарождаются из теории познания, или в геометрии, или в естественнонаучных теориях, перед математикой возникает задача исследовать принципы, лежащие в основе этих понятий, и так обосновать эти понятия с помощью полной и простой системы аксиом, чтобы строгость новых понятий и их применимость к дедукции ни в какой мере не уступали старым арифметическим понятиям.

Новые понятия с необходимостью влекут и новые обозначения. Мы выбираем их таким образом, чтобы они напоминали те явления, которые послужили поводом для образования этих понятий. Так, геометрические фигуры являются образами для напоминания пространственных представлений и в качестве таковых используются всеми математиками. Кто не связывает с двумя неравенствами a > b > c картинку трёх следующих друг за другом точек на прямой, которые геометрически выражают понятие «между»? Кто не пользуется образом вложенных друг в друга отрезков и прямоугольников, если нужно провести полное и строгое доказательство трудной теоремы о непрерывности функции или существования предельной точки? Кто может обойтись без фигуры треугольника, окружности с заданным центром или без тройки взаимно перпендикулярных осей? Или кто мог бы отказаться от образа векторного поля или картины семейства кривых или поверхностей с их огибающей — понятий, играющих столь важную роль в дифференциальной геометрии, в теории дифференциальных уравнений, в основах вариационного исчисления и в других чисто математических областях знаний?