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

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

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

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

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

, причем 

. Меняя 

 от 1 до 

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

 меняется от 

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

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

 и 

. Так что "

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

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

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

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

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

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

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

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

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

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

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

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