В ответ на: Продолжая в том же духе, получаем новый строго возрастающий ряд A_1 < A_2 < A_3 < ..., где каждый последующий элемент строго больше всех предыдущих, и все они строго больше нашего A_1.
Отсюда, если согласиться с наличием A_1, A_2, A_3, а также P(A) и даже P(Z) и Z (Z) всех их вместе взятых, то тем самым мы приходим к заключению, что (!) -
есть некое множество объектов, в каждом из которых всегда можно найти объект менее сложный, чем рассматриваемый, то есть
…< A_1 < A_2 < A_3 < ... ;
и объект, который более сложен, чем все, вместе взятые рассматриваемые объекты.
То есть наша формула будет выглядеть следующим образом:...

Если уж речь зашла о множествах, то никаких объектов, менее сложных, чем пустое множество в голову не приходит. Из существования объектов сложнее заданного не обязательно следует существование объектов менее сложных.
Обозначать бесконечно малые величины символом бесконечности тоже не очень корректно.