Ответ ясен. Выше мы видели, что рассуждения ведутся постоянно так, как если бы геометрические фигуры были подобны твердым телам. Следовательно, вот что заимствовала геометрия у опыта: свойства твердых тел.

Свойства света и его прямолинейное распространение также были поводом, из которого вытекли некоторые предложения геометрии, в частности предложения проективной геометрии; так что с этой точки зрения можно было бы сказать, что метрическая геометрия есть изучение твердых тел, а проективная геометрия – изучение света.

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

Итак, геометрические аксиомы не являются ни синтетическими априорными суждениями, ни опытными фактами. Они суть условные положения (соглашения): при выборе между всеми возможными соглашениями мы руководствуемся опытными фактами, но самый выбор остается свободным и ограничен лишь необходимостью избегать всякого противоречия. Поэтому-то постулаты могут оставаться строго верными, даже когда опытные законы, которые определяли их выбор, оказываются лишь приближенными.

Другими словами, аксиомы геометрии (я не говорю об аксиомах арифметики) суть не более чем замаскированные определения.

Если теперь мы обратимся к вопросу, является ли евклидова геометрия истинной, то найдем, что он не имеет смысла. Это было бы все равно что спрашивать, какая система истинна – метрическая или же система со старинными мерами, или какие координаты вернее – декартовы или же полярные. Никакая геометрия не может быть более истинна, чем другая; та или иная геометрия может быть только более удобной. И вот, евклидова геометрия есть и всегда будет наиболее удобной по следующим причинам:

1. Она проще всех других; притом она является таковой не только вследствие наших умственных привычек, не вследствие какой-то, я не знаю, непосредственной интуиции, которая нам свойственна по отношению к евклидову пространству; она наиболее проста и сама по себе, подобно тому как многочлен первой степени проще многочлена второй степени; формулы сферической тригонометрии сложнее формул прямолинейной тригонометрии, и они показались бы еще более сложными для аналитика, который не был бы знаком с геометрическими обозначениями.

2. Она в достаточной степени согласуется со свойствами реальных твердых тел, к которым приближаются части нашего организма и наш глаз и на свойстве которых мы строим наши измерительные приборы.

Начнем с маленького парадокса.

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

Для нас, ум которых сформировался под влиянием окружающего нас мира, не составило бы никакой трудности отнести к нашему евклидову пространству явления этого нового мира, если бы мы были в него внезапно перенесены. И, напротив, если бы существа из того мира были перенесены к нам, они должны были бы отнести наши явления к неевклидову пространству.

Но ведь с небольшими усилиями этого же могли бы достигнуть и мы.

Тот, кто всю свою жизнь посвятил бы такой задаче, может быть, оказался бы в состоянии представить себе четвертое измерение.