Начало см. здесь.

Сначала тезис об этой мощи был высказан у Платона (в качестве пророчества): Высшим и первейшим является учение о числах, не о тех числах, которые имеют телесный облик, но скорее о построении всей теории четного и нечетного и о той мощи, каковой они обладают над природой сущего. А затем этот тезис, по сути дела, был повторен в известном высказывании Л. Д. Ландау (уже в качестве констатации свершившегося факта): весь массив наук делится на три большие группы: сверхъестественные науки — естественные науки — неестественные науки.

Отодвигая начало математики к И Цзину, мы можем предположить, что формирование модели универсума, обладающей столь высокой моделирующей силой, о которой пишет И. М. Яглом, началось уже тогда.

Причем это формирование проходило поэтапно, так что здесь вполне могла бы быть применена методология типизации универсума и типизации языка, изложенная, например, у В. Н. Агафонова:

... В основе этих теорий лежат две идеи: типизация универсума и типизация языка. Смысл первой в том, что интуитивно обозримый универсум должен строиться обозримыми шагами, исходя из (одного или нескольких) базисных типов (классов) объектов, и на каждом шаге построения строительным материалом для новых типов служат типы, полученные на предыдущих шагах.

Суть второй идеи в том, что эта иерархия типов должна явно выражаться в (формальном) языке, на котором формулируются утверждения рассматриваемой теории, т. е. типы должны явно приписываться переменным, константам и другим правильно построенным выражениям этого языка.

Один подход к реализации этой идеи предложен мною здесь. Там базовые типы названы "базовыми категориями", а их отражение в формальном языке — "категорными именами". Этот метод очевидным образом может быть продолжен и для любого натурального n большего 2. Общую философию о типах, категориях и сортах см. также у Френкеля - Бар-Хиллела здесь.