Далее Кристева снова обращается к математической логике:
Для нас поэтический язык является не кодом, который охватывает все остальные, а классом А, который обладает той же мощностью, что и функция j (X1 … Xn) бесконечности лингвистического кода (см. теорему существования, ср. с. 189), а все «остальные языки» («обыденный» язык, «метаязыки», и т. д.) являются частными вариантами А на более узких промежутках (ограниченных, например, правилами субъект-предикативной конструкции, находящейся в основании формальной логики), так что эти языки вследствие такого ограничения скрывают морфологию функции j (X1 … Xn).
Поэтический язык (который далее мы будем называть ПЯ) содержит код линейной логики. Но сверх того, мы можем найти в нем все комбинации, которые были формализованы алгеброй в системе искусственных знаков, и которые не экстериоризированы на уровне проявления обыденного языка. […]
Следовательно, ПЯ не может быть субкодом. Он является бесконечным упорядоченным кодом, комплементарной системой кодов, из которой можно выделить (абстракцией, действующей в качестве доказательства некоей теоремы) обыденный язык, научный метаязык и все искусственные системы знаков — и все они оказываются лишь подмножествами этой бесконечности, экстериоризирующими правила своего порядка на ограниченном промежутке (их мощность поэтому меньше мощности ПЯ, который надъективен по отношению к ним). (Кристева 1969, с. 178–179)
Эти абзацы лишены всякого смысла, хотя Кристева довольно-таки ловко связывает между собой математические термины. Но дальше — больше:
Допустив, что поэтический язык является формальной системой, построение теории которой может вестись при помощи теории множеств, мы в то же время вправе заметить, что функционирование поэтического значения подчиняется принципам, на которые указывает аксиома выбора. Она утверждает, что существует однозначное соответствие, представленное определенным классом, который соединяет с каждым из непустых множеств теории (системы) один из своих элементов.
(∃А) [Un(A) (x) [~Em(x) ⊃ (∃y) [y∈x?yx? ∈A]]]
[Un(A) — «A однозначно»; Em(x) — «класс x» — пуст.]
Иначе говоря, можно одновременно выбрать один элемент в каждом из непустых множеств, которыми мы занимаемся. В таком изложении аксиома выбора применима в нашем универсуме? входящем в ПЯ. Аксиома уточняет, почему любая последовательность x содержит послание книги. (Кристева 1969, с. 189, курсив в оригинале)
Эти абзацы (так же, как и следующие за ними) служат блестящей иллюстрацией жестоким словам социолога Станислава Андрески, которые мы процитировали во введении (с. 24). Кристева не дает никакого объяснения тому, какое значение аксиома выбора может иметь для лингвистики (мы думаем, что никакого). Аксиома выбора гласит, что, если мы имеем собрание множеств, из которых каждое содержит по крайней мере один элемент, тогда существует множество, которое содержит в точности один элемент, выбранный в каждом из отправных множеств. Эта аксиома позволяет утверждать существование определенных множеств без их явного задания (ведь не указывается, как произведен «выбор»). Введение этой аксиомы в математическую теорию множеств мотивировано изучением бесконечных множеств или бесконечным собранием множеств. А где мы найдем такие множества в поэзии? Говорить, что аксиома выбора «уточняет, почему любая последовательность содержит послание книги» — это абсурд, и мы не знаем, что больше извращено в этом высказывании — математика или литература. Тем не менее, Кристева продолжает:
Совместимость аксиомы выбора и обобщенной гипотезы континуума с теорией множеств возводит нас на уровень рассуждения по поводу теории, то есть на уровень метатеории (именно таков статус семиотического рассуждения), метатеоремы которой были определены Геделем. (Кристева 1969, с. 189, курсив в оригинале)
Здесь Кристева снова пытается произвести на читателя впечатление учеными словами. Она в самом деле цитирует весьма важные (мета)теоремы математической логики, но она не объясняет читателю ни их содержание, ни их значение для лингвистики. Заметим, что естественный язык обладает конечным алфавитом; фраза или даже книга — это конечная последовательность букв. Следовательно, даже множество всех конечных последовательностей букв во всех возможных книгах, независимо от их объема, является бесконечным счетным множеством. В таком случае совершенно непонятно, как гипотеза континуума, относящаяся к бесконечным несчетным множествам, может применяться в лингвистике.