Читать «Teopeмa Гёделя» онлайн - страница 10

И в подтверждение такого подозрения Бертран Рассел построил противоречие, оставаясь исключительно в рамках элементарной логики, — противоречие, в точности подобное тому, что было обнаружено первоначально в канторовской теории бесконечных классов (множеств). Антиномию Рассела можно описать следующим образом. Будем различать классы в зависимости от того, являются ли они своими собственными элементами или нет. Назовем класс «нормальным» в том и только в том случае, когда он не содержит самого себя в качестве элемента; в противном же случае будем называть класс «ненормальным». Примером нормального класса может служить класс всех математиков — ведь сам такой класс не является, очевидно, математиком и не является потому своим собственным элементом. Примером ненормального класса является класс всех мыслимых вещей; сам этот класс является, очевидно, «мыслимой вещью», а тем самым — и своим собственным элементом.

Определим теперь класс N — класс всех нормальных классов. Является ли N нормальным классом? Если N нормален, то он является своим собственным элементом (ведь, по определению, N содержит все нормальные классы). Но в таком случае N ненормален, так как в силу данного выше определения класс, содержащий самого себя в качестве элемента, является ненормальным. С другой стороны, если N — ненормальный класс, то он (в силу определения понятия ненормальности) является своим собственным элементом; но в таком случае N нормален, так как выше определено, что элементами N являются лишь нормальные классы. Короче говоря, N нормален тогда и только тогда, когда N ненормален. Отсюда следует, что утверждение «N — нормальный класс» является в одно и то же время истинным и ложным. Это противоречие неминуемо следует из некритического, безоговорочного употребления представляющегося столь ясным понятия класса (множества). Впоследствии были обнаружены и другие парадоксы, причем каждый из них строился с помощью хорошо известных и вроде бы бесспорных приемов рассуждения. Математикам пришлось прийти к выводу, что при построении претендующих на непротиворечивость систем общеизвестность и интуитивная ясность идей являются далеко не надежной основой.