定义数学：由最高标准的正确性（严格逻辑的证明）产生

语言相关请见 ear2eye.org；物理相关请见 continuous2discrete.org。

今天的人工智能可以瞬间从欧几里得几何的公理和公设生出他的《几何原本》，其它的数学也是一样，只不过比生产《几何原本》耗时长，毕竟，全部数学都是数学概念由严格逻辑联系的排列组合，计算机就是干严格逻辑的联系的机器，数学的全部概念满打满算都远没有汉字多

从无到有，数学的定义之一：数学最早的定义，老子的道德经说的“道生一一生二二生三三生万物”，因为，新的数学都是用老的数学写的，数学就是概念和结果，结果叫公式或定理，新的数学概念是用老的数学概念写的，所以，不需要新的数学概念，毕竟，新的就是重复老的，说了数学概念，再说数学结果，新的数学定理是用老的数学定理证明的，证明是严格逻辑证明，计算也是严格逻辑证明，方程和等式是充分必要的逻辑推理，也就是可以来回推，不等式是充分或必要的逻辑推理，也就是只能朝一个方向推，推过去了就推不回来了，所以，老子说的“生”在数学就是严格逻辑证明，“道”就是空集。

唯一正确的游戏，数学的定义之二：，由于，严格逻辑不产生新东西，而且，严格逻辑只丢东西，因为，严格逻辑证明是正确性的最高标准，不能无中生有，比如，举例说明和案例分析在数学没有任何正确性上的价值，如果有的话，黎曼猜想早就正确了，严格逻辑证明的正确性标准，最高标准正确性，结论可以由逻辑机器和任何读者逐步检验的严格逻辑推进，证明，或产生。