Это ведет нас к важному, фундаментальному открытию, впервые детально разработанному Георгом Кантором. Это открытие нашло отзвук в работе математика XX века Курта Гёделя. Гёдель, воссоздавая основную особенность канторова доказательства, показал несостоятельность наиболее фундаментальных математических аксиом не только Бертрана Рассела, но и отца-основателя современного экономического системного анализа Джона фон Неймана. Не будем здесь рассматривать связанные с именем Кантора разработки несчетных последовательностей и мощности множеств. Подходы, соответствующие нашему обсуждению Смита, Маркса и фон Неймана, резюмируются следующими положениями.
В диалоге «Парменид» Платон раскрыл свой знаменитый онтологический парадокс: та объединяющая концепция изменения, которая как генерирующий принцип включает в себя и тем самым ограничивает все элементы коллекции, сама не может быть элементом этой коллекции. По-новому это высветил Кантор при помощи демонстрации, которую он определил явно с точки зрения платоновской работы и революционно развил относительно как формальных, так и онтологических особенностей всякого возможного математического мышления. Таким образом, если мы устанавливаем «наследственный принцип» любой формальной системы, например общепринятой в настоящее время математики, преподаваемой в университетах, в своей правильной форме как генерирующий принцип, то эта формулировка окажется вне формальной системы элементов, которую (имплицитно) определяет генерирующий принцип. Этот факт находится за пределами понимания сегодняшним математическим мышлением, но этот принцип, тем не менее, понятен и доступен для познания.
Это положение иллюстрирует история самой математики. Тот вид математики, который может быть выведен из множества аксиом и постулатов, представленных евклидовой геометрией, производит форму математики, именуемой «алгеброй» или «алгебраической системой». Это тот вид математики, который мы связываем с Рене Декартом или Исааком Ньютоном. В период с 1440 по 1697 гг. была создана более высокая форма неалгебраической математики, которую представили в более поздние времена, главным образом, Готфрид Лейбниц и Иоганн Бернулли. Более высокая форма неалгебраической математики стала известна как область трансцендентных функций. Евклидовы аксиомы о точке и прямой были отброшены и заменены аксиомой изопериметрического или кругового действия, также известного как «универсальное наименьшее действие». Установление превосходства неалгебраической математики по отношению к алгебраическим формам было продемонстрировано в 1670-е гг. удивительно точным измерением скорости света Оле Рёмером и успешным применением этих измерений к принципам рефракции Христианом Гюйгенсом, Лейбницем и Иоганном Бернулли.
Хотя Лейбниц и его друзья опровергли аксиомы алгебраического мышления, они не отбросили ничего из того, что представляло ценность для науки. Все ценное, что есть в алгебре, можно понять с точки зрения неалгебраической математики, но эти качества свободны от заблуждений алгебраического мышления. Это показало, что неалгебраическая математика внешним образом ограничивает алгебру, но в соответствии с парадоксом платоновского диалога «Парменид» истина неалгебраической математики не может быть произведена построениями из формальной алгебры. На языке Кантора, алгебраические и неалгебраические математические формализмы являются двумя отдельными разновидностями «наследственного принципа» или двумя различными «типами»; все справедливые положения[10] алгебры относятся к одному из подтипов неалгебраических функций. Подобным образом Кантор показал существование третьего, более высокого типа математики за пределами счетных последовательностей, который является более высоким типом математики, чем любой вариант из общепринятых учебных курсов математики.
Понятие (трансфинитных) аксиоматических типов приложимо к исследуемой здесь проблеме. Системы, представленные описываемыми математически положениями политической экономии Адама Смита, Давида Рикардо, Карла Маркса и Джона Стюарта Милля, принадлежат к общему канторовскому типу линейной схемы, которая по своему характеру энтропийна в том значении, как определял энтропию в механических моделях газовой системы или любой аналогичной системы Людвиг Больцман. Это же справедливо и для системного анализа Джона фон Неймана.