Но, пожалуй, наиболее важным достижением XIX века явилось решение еще одной задачи, также восходящей еще к грекам, которая с тех пор оставалась без ответа. В числе аксиом, на базе которых строилась евклидова систематизация геометрии, имеется так называемая аксиома параллельности. В предложенной Евклидом формулировке эта аксиома равносильна утверждению (хотя и не совпадает с ним), что через точку, лежащую вне данной прямой, можно провести единственную прямую, параллельную данной прямой. Еще античным математикам эта аксиома отнюдь не казалась самоочевидной. Поэтому они пытались доказать ее в качестве следствия из остальных аксиом Евклида, которые, напротив, представлялись им совершенно очевидными. Можно ли, однако, действительно получить искомое доказательство для аксиомы параллельности? Поколения математиков безуспешно пытались ответить на этот вопрос. Но неоднократные неудачи попыток построения искомого доказательства не означали еще, что никто не преуспеет в этом деле больше, чем в важной для человечества проблеме изобретения безотказно и на все времена действующего средства от насморка. Такое положение вещей продолжалось до середины XIX столетия — до тех пор, пока в работах Гаусса, Бойаи, Лобачевского, Римана и других математиков не была доказана невозможность вывода аксиомы параллельности из остальных аксиом евклидовой геометрии. Этот результат имел громадное значение для понимания природы нашего мышления. В первую очередь он привлек внимание к тому поразительному факту, что можно доказать в качестве теоремы невозможность доказательства некоторых утверждений средствами данной системы.
Как мы увидим ниже, теорема Гёделя, которой посвящена наша книга, состоит в доказательстве невозможности доказательства некоторых арифметических утверждений средствами арифметики. Кроме того, разрешение старой проблемы об аксиоме параллельности неизбежно приводило к выводу, что аксиоматика Евклида отнюдь не является последним словом геометрии, — ведь можно, оказывается, построить новые геометрические системы, исходя из перечней аксиом, отличных от евклидовых и даже несовместимых с ними. Например, как хорошо известно, чрезвычайно интересные и плодотворные результаты были получены заменой евклидовой аксиомы параллельных допущением, согласно которому через точку, лежащую вне данной прямой, можно провести более чем одну прямую, параллельную этой прямой, или же, напротив, допущением, согласно которому параллельных прямых вообще не бывает. Традиционное убеждение, что аксиомы геометрии (или вообще аксиомы любой науки) могут быть приняты на основании их «самоочевидности», было, таким образом, совершенно подорвано. Более того, постепенно стало все более и более ясным, что подлинным предметом чистой математики является
