Хотя нет! Беру свои слова обратно - Бодигрим высказал трезвую мысль - фантазер, однако.
Грубо говоря, у нас есть множество равносильных определений числа

, притом довольно разных. Мы должны определить, какие из них сохраняются при изменении аксиом, а какие - нет.
К примеру,

- отношение длины окружности к диаметру. А что такое окружность - множество равноудаленных от центра точек, а равноудаленных - находящимся на одинаковом расстоянии. А как определяется расстояние?! В

- как корень степени

из суммы степеней

, причем

. Меняя

от 1 до

получаем разные окружности, а с ними - и разные длины. В результате

меняется от

до 4. Так что общеизвестное

- не инвариант от обощенной евклидовой метрики. С другой стороны, если мы попытаемся определить синус и косинус в такой обобщенной метрике, то новые синус и косинус будут представлять собой лишь

и

. Так что "

- минимальный положительный корень уравнения

" - более фундаментально. С красивой формулой Эйлера дело обстоит намного хуже.

- единственное поле, которое при добавлении в него

становится алгебраически замкнутым. К примеру, - для поля

-адических чисел такого элемента нет - там их надо континуум для алгебраической замкнутости. Не получится там определение

и через ряд для арктангенса, так как он не сходится:

- неограниченно. И вообще, Коблиц писал в "

-адическом анализе", что там аналогов вещественных трансцендентных чисел нет. С другой стороны, там есть экспонента Артина-Хассе, но я с ней обращаться не умею
Интересно, а как обстоит дело с

в геометрии Лобачевского?
Кстати, есть общеизвестный фольклор о том, каковы будут траектории планет, если изменить показатель у

в законе тяготения - там такие красивые розочки получаются
Добавлено спустя 1 час 19 минут 58 секунд:
Кстати, не надо думать, будто

можно определять "независимо от аксиом". Только его "аналоги". Лично мне вполне мыслится система, где действуют 2 аналога числа

с различными значениями