В 1939 году Бурбаки опубликовал свою первую книгу из масштабной серии под названием Éléments de Mathématique («Начала математики»). «В прошлом считалось, что каждый раздел математики зависит от интуитивных знаний в этой области, на которых основаны концепции и истины, — писал он. — Однако в наши дни, как известно, можно, логически говоря, вывести практически всю человеческую математику из одного источника — теории множеств»[167]. Название этой серии содержало отсылку к Евклиду. Подобно тому как труд Евклида «Начала» формализовал математические знания древних греков в рамках системы аксиом, основанной на свойствах точек и линий, «Начала математики» Бурбаки формализовали современные математические знания в рамках аксиоматической системы, построенной на свойствах множеств. Выбор слова
В начале 30-х годов ХХ века несколько молодых французских математиков пришли к выводу, что университетские учебники устарели, и решили вместе написать новые. Они взяли для своей группы псевдоним Николя Бурбаки, по имени Шарля Дени Бурбаки — французского генерала, который в 1862 году отказался от греческого престола, а после унизительного поражения во Франко-прусской войне пытался застрелиться, но промахнулся. Ученые, вошедшие в состав этой группы, заявили о том, что Николя Бурбаки родом из Полдавии — страны, которая упоминается в книге о приключениях Тинтина The Blue Lotus[168][169]. Группа приняла кодекс секретности и ввела возрастное ограничение 50 лет. Подобно польским математикам, собиравшимся в Шотландском кафе во Львове примерно в тот же период, входившие в группу Бурбаки ученые получали удовольствие, смешивая веселье и науку. Во время одной из регулярных встреч в сельской местности несколько членов группы отправились к местному озеру и, раздевшись донага, прыгали в воду с криками «Бурбаки!»[170]
Однако подход Бурбаки к математике был совершенно серьезным. Группа разработала метод написания книг, согласно которому на создание одной книги требовалось несколько лет. После долгих дискуссий по поводу содержания каждого тома кто-то из членов группы составлял черновой вариант текста книги. На следующем собрании текст вычитывался буквально построчно, причем каждую строку должны были одобрить все члены группы. Стиль изложения материала тоже был уникальным. Цель всей серии книг состояла в том, чтобы вывести все из исходных принципов, не прибегая к каким бы то ни было физическим или геометрическим интуитивным данным. Иллюстрации не использовались, поскольку члены группы считали, что они могут вводить в заблуждение. «Строгость для математика — то же самое, что мораль для человека», — сказал один из основателей группы Андре Вейль. В книгах серии не было аналогий, отступлений, опущений, рисунков или упражнений для читателей. Требование об аксиоматической чистоте было настолько жестким, что в первой книге понадобилось две сотни страниц на определение числа 1, да и то в сокращенной форме. (В книге говорится, что на представление числа 1 в расширенной форме понадобилось бы много тысяч символов. В 1999 году британский специалист по теории множеств А. Р. Д. Матиас заявил, что на самом деле метод Бурбаки требует 4 523 659 424 929 символов и 1 179 618 517 981 связей между ними[171].)