Праматематика человека это сумма математических знаний, которыми может овладеть человек, в принципе. Например, законы логики доступны и кошке, так как она, совершенно очевидно, способна на разумные поступки. Но аналитические способности кошки не идут ни в какое сравнение с интеллектом человека. Исходя из этого сопоставления, легко вообразить, что может быть рождено существо, которое по своим интеллектуальным возможностям настолько превосходит интеллект человека, насколько человек превосходит кошку. Тогда такому интеллектуальному сверхчеловеку могут быть доступны и «нечеловеческие» математические знания. Праматематику, доступную сверхинтеллекту, можно назвать сверхчеловеческой и она будет содержать все математики, которыми может овладеть такой развитый интеллект.
Исходя из вышесказанного, не будем себя ограничивать построением человеческой, а начнем со сверхчеловеческой праматематики. В сверхчеловеческой праматематики должны содержаться все мыслимые и немыслимые для человека математические объекты, а, следовательно, все математические дисциплины прошлого, настоящего и будущего для интеллектов всех видов. Например, ряд натуральных чисел это лишь одно из бесконечных множеств, которые входят в такую праматематику, как абстрактный объект. В сверхчеловеческой праматематике число различных бесконечных множеств неограниченно. Даже если мы не в состоянии изобрести более двух их разновидностей – счетные и несчетные, например.
В сверхчеловеческой праматематике должно содержаться неограниченное число операций над абстрактными объектами. Например, в арифметике таких операций всего лишь четыре: сложение, вычитание, умножение и деление, а если представить себе арифметику с неограниченным числом операций, тогда их число от четырех должно быть увеличено до бесконечности. Легко вообразить бесконечный ряд натуральных чисел. Для этого достаточно указать, что каким бы большим не было натуральное число, (например, состоящее из миллиарда цифр), добавив к нему единицу («миллиардное» число + 1), получится еще большее. Следовательно, натуральный ряд чисел безграничен.
Но как себе представить бесконечное число операций с абстрактными объектами, которые были бы также наглядны, как четыре арифметические операции с числами? Для этого зададимся вопросом, что представляет собой операция с объектами? Это всего лишь способ взаимодействия объектов. Если утверждается, что между двумя объектами может быть не четыре, как в арифметике, а больше операций, то это означает, что между объектами можно наблюдать более четырех разных взаимодействий