включает те же элементы, что и множество
B, то
A тождественно
B вне зависимости от того, относится ли к их элементам некий общий предикат. Отсюда могут быть множества, объединяющие элементы не в рамках модели, а неким иным образом – в терминах свойств, задаваемых более широкой перспективой теории множеств. Эти «генерические»
[127] множества могут быть использованы в математических доказательствах, даже если язык модели не содержит предиката, под который они подпадают.
Чтобы доказать независимость континуум-гипотезы, мы должны найти такую модель – множество множеств, – для которой аксиомы Цермело – Френкеля выполнялись бы (т. е. были бы верными в модели), а континуум-гипотеза – нет (т. е. была бы ложной в модели). До тех пор, пока мы имеем дело только с конструктивными множествами, это сделать невозможно. Но при помощи процедуры «вынуждения», благодаря которой генерические множества задействуются в модели, можно создать такую модель, которая удовлетворяет аксиомам теории множеств, но оставляет ложной континуум-гипотезу.
Доказательство техническое и принадлежит к семейству доказательств (как и доказательство теоремы Геделя о неполноте), которые являются «метаматематическими» по своему характеру. Специально оно не подразумевает ни подтверждения, ни опровержения континуум-гипотезы. Скорее, показывает, что гипотеза недоказуема при определенных аксиомах и, следовательно, не является теоремой в любой математической системе, которая отправляется от этих аксиом. Для Бадью уже это имеет огромное значение, поскольку сам он видит свою философию своего рода метаматематикой или, по его словам, метаонтологией, а цель ее в том, чтобы показать, каким мир должен быть, если его можно описать с позиций математики.
Более важно, однако, то, что доказательство Коэна вдохновляет на скачок от абстрактной математики к исторической конкретике. Слова вроде «генерический» и «вынуждение» засели в голове у Бадью и стали для него ключевыми терминами при описании человеческого состояния. Согласно Бадью, есть четыре способа, при помощи которых мы стремимся к важным, т. е. революционным, событиям, творим их и храним им верность, – это любовь, искусство, наука и политика. И он окрестил их «генерическими процедурами» (procédures génériques), не объясняя, что же именно означает «генерический» во всех этих контекстах, но всегда имея в виду то, какие матемы могли бы скрыть и защитить его главную цель, которая состоит в том, чтобы освятить авторитетом математики свою версию утопии [Badiou, 1988, p. 23].