※ 引述《rainjuly (蛇足步行)》之銘言：
: 如果一個外星文明的數學用的是跟我們不盡相同的公理和公設
: 得出的定理也和我們不一樣
: 但是他們的數學跟我們的數學在各自的系統下都是對的
: 也都各自能描述物理現象
: 就像非歐幾何那樣各自不同的系統
: 這樣那個外星文明跟我們有辦法用數學溝通嗎
如果你發現一個外星文明也有類似的數學語言
他們有「外星數字」（一個符號系統）
然後這些符號系統有運算（加法、乘法、order）
且滿足一些很自然的公設(共16條)
例如：x+y=y+x這類的...等等
若這個符號系統如果滿足complete的性質
也就是在這個order所定義出來的絕對值系統下
Any Cauchy Sequence are converge.
(當然有其他等價的completness命題)
則數學上可以證明
這個外星生物所用的符號系統
跟我們的數學實數系統是等價的
也就是說
我們的加法跟他們的加法有一個對應關係
我們的乘法跟他們的乘法有一個對應關係
只要找出這個對應關係
外星生物的四則運算和數字大小關係
基本上可以翻譯出來
這是數學上的結論