Вначале была аксиома. Гильберт. Основания математики

— аксиомы непрерывности, их две: так называемая аксиома Архимеда, которая гласит, что если последовательно повторять любой из двух заданных произвольных отрезках, мы можем построить отрезок большего размера, чем первый, за конечное число шагов; и аксиома полноты линии, или непрерывности прямой, она гласит, что точки одной прямой образуют систему, неподверженную какому- либо расширению при условии сохранения линейного порядка и отсутствии противоречия аксиоме конгруэнтности и аксиоме Архимеда.

Без аксиомы непрерывности нельзя утверждать, что две окружности пересекутся в точке С и,следовательно, что можно построить равносторонний треугольник со стороной АВ (как это заявлено в Пропозиции I Книги I «Начал» Евклида).

Последней аксиомы в «Началах» не было, хотя необходимость в ней возникает даже при доказательстве Пропозиции I Книги I. То, что Гильберт извлек ее на свет, составляет один из важнейших его вкладов. Без нее Q² (то есть плоскость, в которой у точек есть только рациональные координаты) было бы моделью евклидовой геометрии, поскольку она бы удовлетворяла всем предыдущим аксиомам. Однако, как подчеркнул Рихард Дедекинд (1831-1916), в этой дырявой плоскости две окружности, каждая из которых проходит через центр другой, необязательно должны пересекаться (что предполагалось в Пропозиции I), потому что это возможно в точке с иррациональными координатами (в дырке). Аксиома полноты линии, или непрерывности прямой, позволяет определить любую прямую с действительными числами R и, следовательно, плоскость R² (то есть полную плоскость со всеми точками с рациональными и иррациональными координатами), где две окружности гарантированно пересекутся (см. рисунок). Это мост между синтетической геометрией, основанной на диаграммах и чертежах, и аналитической, выстраиваемой на вычислениях.

АКСИОМЫ, ДОКАЗАТЕЛЬСТВА, ТЕОРЕМЫ И ТЕОРИИ