Единственным стойким защитником Цермело был Адамар. Он утверждал, что аксиома выбора приемлема по тем же причинам, какие он приводил, отстаивая теорию множеств Кантора. По мнению Адамара, для того чтобы утверждать существование объектов, отнюдь не требуется их описывать. Если одного утверждения о том, что объект существует, достаточно для прогресса математики, то это утверждение приемлемо.
В ответ на критические замечания Цермело дал второе доказательство полного упорядочения, также основанное на использовании аксиомы выбора (в действительности Цермело показал, что оба доказательства эквивалентны). Цермело отстаивал использование аксиомы выбора и утверждал, что до тех пор, пока эта аксиома не приводит к противоречию, ее использование в математике вполне допустимо. По словам Цермело, аксиома выбора «имеет исключительно объективный характер, который сразу же ясен». Он признал, что аксиома выбора не вполне самоочевидна, так как в ней говорится о выборе из бесконечно многих множеств, но она научно необходима, поскольку используется для доказательства важных теорем.
Было предложено много эквивалентных вариантов аксиомы выбора. Если аксиому выбора принять наряду с другими аксиомами теории множеств, то эти варианты представляют собой теоремы. Но все попытки заменить аксиому выбора менее спорной аксиомой оказались безуспешными. Маловероятно, что удастся найти удачную замену аксиомы выбора, приемлемую для всех математиков.
Споры вокруг аксиомы выбора по существу сводились к одной главной проблеме: как следует понимать существованиев математике? Одни математики склонны считать «существующим» любое понятие, оказавшееся полезным, если оно не приводит к противоречиям, например обычную замкнутую поверхность, площадь которой бесконечна. Для других математиков «существование» означает четко распознаваемое определение или такое понятие, которое позволяет отождествить или по крайней мере описать его. Одной лишь возможности выбора недостаточно. В дальнейшем эти взаимоисключающие точки зрения стали еще более непримиримыми — мы поговорим о них в следующих главах. Пока же заметим только, что аксиома выбора стала яблоком раздора между математиками.
И тем не менее десятилетия спустя, когда математика значительно расширила свои границы, многие ученые продолжали использовать аксиому выбора. Не утихали и споры по поводу того, можно ли считать аксиому выбора и доказываемые с ее помощью теоремы законной, вполне приемлемой математикой. {104}Аксиома выбора стала предметом активного обсуждения и уступала в этом отношении лишь аксиоме Евклида о параллельных. По замечанию Лебега, оппонентам не оставалось ничего другого, как поносить друг друга, ибо прийти к соглашению они не могли. Сам Лебег, несмотря на отрицательное и скептическое отношение к аксиоме выбора, все же пользовался ею, по его собственному выражению, «дерзко и осторожно», полагая, что будущее покажет, кто прав.
Но в первые же годы XX в. математиков стала беспокоить еще одна проблема. Сначала она не представлялась достаточно фундаментальной, но по мере распространения канторовской теории трансфинитных кардинальных и ординальных чисел становилась все более острой и настоятельно требовала своего решения.
В своих последних работах Кантор построил теорию трансфинитных кардинальных чисел на основе теории ординальных чисел. Например, кардинальное число множества всех возможных конечных множеств (точнее, множество всех конечных ординальных чисел) равно N 0. Кардинальное число всех возможных множеств ординальных чисел, содержащих лишь считанное число ( N 0) элементов, равно N 1 .Продолжая эту последовательность, Кантор получал все большие кардинальные числа, которые обозначил N 0, N 1, N 2, …. Кроме того, каждое очередное кардинальное число непосредственно следовало за предыдущим (было ближайшим к предыдущему кардинальным числом). Но в самом начале своих работ по трансфинитным числам Кантор показал, что множество всех вещественных чисел насчитывает 2 N0членов (эту величину принято кратко обозначать c) и что 2 N0больше, чем N 0. Вопрос, который тогда же поставил Кантор, заключался в следующем: с каким членом последовательности алефов совпадает c? Так как кардинальное число N 1следует непосредственно за N 0, кардинальное число cбольше или равно N 1. Кантор высказал предположение, что c = N 1. Это предположение, впервые сформулированное в 1884 г. и опубликованное в том же году, получило название гипотезы континуума. {105}Эта гипотеза допускает также другую, несколько более простую формулировку: не существует трансфинитного числа, заключенного между N 0и c(кардинальное число любого бесконечного подмножества множества вещественных чисел либо равно N 0, либо равно с). {106}В первые десятилетия XX в. вокруг гипотезы континуума развернулась бурная дискуссия, но проблема так и не была решена. Помимо того что гипотеза континуума дала возможность доказать новые теоремы, она приобрела особое значение, так как позволила глубже понять бесконечные множества, взаимно-однозначное соответствие и аксиому выбора и тем самым способствовала лучшему обоснованию теории множеств.
Итак, в начале XX в. перед математиками встало несколько трудных проблем. Требовалось устранить уже обнаруженные противоречия. Но еще более важным представлялось доказать непротиворечивость всей математики, ибо без этого нельзя было гарантировать, что в будущем не возникнут новые противоречия. Все эти проблемы имели решающее значение для судеб математики. Многие ученые продолжали считать неприемлемой аксиому выбора и ставили под сомнение доказанные на ее основе теоремы. «Нельзя ли доказать те же теоремы, исходя из более приемлемой аксиомы, и полностью отказаться от аксиомы выбора?» — этот вопрос беспокоил умы. Необходимо было также доказать или опровергнуть гипотезу континуума, важность которой по мере развития математики становилась все более очевидной.
Проблемы, с которыми столкнулись математики в начале XX в., были весьма серьезными, однако при других обстоятельствах они вряд ли вызвали бы столь сильные потрясения. Правда, противоречия в любом случае пришлось бы разрешать, но выявленные к началу XX в. противоречия относились к теории множеств — новому разделу математики, и математиков не оставляла надежда, что в свое время его удастся строго обосновать. Что же касается опасений обнаружить в классической математике новые противоречия, возможно связанные сиспользованием непредикативных определений, то к началу XX в. проблему непротиворечивости удалось свести к проблеме непротиворечивости арифметики, а то, что арифметика непротиворечива, ни у кого не вызывало сомнений. Вещественные числа находились в обращении более пяти тысяч лет, и относительно их было доказано огромное число теорем; при этом никаких противоречий никогда обнаружено не было. То обстоятельство, что какая-то аксиома, в данном случае аксиома выбора, использовалась неявно и что ее продолжали применять, подавляющее большинство математиков не беспокоило. Движение за аксиоматизацию, развернувшееся в конце XIX в., обнаружило, что многие аксиомы использовались неявно. Гипотеза континуума была в то время не более чем деталью теории Кантора, а некоторые математики целиком отвергали канторовскую теорию множеств. Математикам приходилось сталкиваться и с гораздо более серьезными трудностями, но они никогда не теряли присутствия духа. Например, в XVIII в., полностью сознавая принципиальный характер трудностей, возникших при попытках обосновать математический анализ, математики тем не менее продолжали создавать на основе дифференциального и интегрального исчисления новые обширные разделы математики и лишь впоследствии подвели под свои построения прочный фундамент, в основе которого лежало понятие числа.
