※ 引述《rainjuly (蛇足步行)》之铭言：
: 如果一个外星文明的数学用的是跟我们不尽相同的公理和公设
: 得出的定理也和我们不一样
: 但是他们的数学跟我们的数学在各自的系统下都是对的
: 也都各自能描述物理现象
: 就像非欧几何那样各自不同的系统
: 这样那个外星文明跟我们有办法用数学沟通吗
如果你发现一个外星文明也有类似的数学语言
他们有“外星数字”（一个符号系统）
然后这些符号系统有运算（加法、乘法、order）
且满足一些很自然的公设(共16条)
例如：x+y=y+x这类的...等等
若这个符号系统如果满足complete的性质
也就是在这个order所定义出来的绝对值系统下
Any Cauchy Sequence are converge.
(当然有其他等价的completness命题)
则数学上可以证明
这个外星生物所用的符号系统
跟我们的数学实数系统是等价的
也就是说
我们的加法跟他们的加法有一个对应关系
我们的乘法跟他们的乘法有一个对应关系
只要找出这个对应关系
外星生物的四则运算和数字大小关系
基本上可以翻译出来
这是数学上的结论