В конце текста Кристева допускает, что ее «теория» — не более, чем метафора. Но даже при таком допущении она никак не оправдывает подобное употребление терминов: не установив аналогии между отношениями «аристотелевская логика/поэтическая логика» и «счетное/бесконечное», она лишь упоминает все эти
Далее Кристева снова обращается к математической логике:
Для нас поэтический язык является не кодом, который охватывает все остальные, а классом А, который обладает той же мощностью, что и функция j (X1
… Xn) бесконечности лингвистического кода (см. теорему существования, ср. с. 189), а все «остальные языки» («обыденный» язык, «метаязыки», и т. д.) являются частными вариантами А на более узких промежутках (ограниченных, например, правилами субъект-предикативной конструкции, находящейся в основании формальной логики), так что эти языки вследствие такого ограничения скрывают морфологию функции j (X1 … Xn).Поэтический язык (который далее мы будем называть ПЯ) содержит код линейной логики. Но сверх того, мы можем найти в нем все комбинации, которые были формализованы алгеброй в системе искусственных знаков, и которые не экстериоризированы на уровне проявления обыденного языка. […]
Следовательно, ПЯ не может быть субкодом. Он является бесконечным упорядоченным кодом, комплементарной системой кодов, из которой можно выделить (абстракцией, действующей в качестве доказательства некоей теоремы) обыденный язык, научный метаязык и все искусственные системы знаков — и все они оказываются лишь подмножествами этой бесконечности, экстериоризирующими правила своего порядка на ограниченном промежутке (их мощность поэтому меньше мощности ПЯ, который надъективен по отношению к ним). (Кристева 1969, с. 178–179)
Эти абзацы лишены всякого смысла, хотя Кристева довольно-таки ловко связывает между собой математические термины. Но дальше — больше: