基础知识：“负负得正”是规定还是可以被证明的定理？

elim

邪灵认为他定义了数，有限元素等等．但按其逻辑，这些拿来定义的东西没被定义也是不行的．于是就进入了古印度叠龟论的套．所以虽然邪灵号称定义了这个那个，好像是数学的开山鼻祖似的，其实啥也定义不了，不过是在啼邪灵才尽的猿声而已．

现代数学的基础不是邪灵看好的“腚义”，而是由元词，元谊及公理构成的公理系统．这个思想的第一个践行者是欧几里德．在欧几里德看来，一切几何对象可由点，线, 面，在其上等元词元谊，即极有限的一些基本对象和关系所定义，而元词，元谊则不再用“相邻概念＋属差”这一定义的范式加以定义．它们是什么不重要(反正它们严格地说并不存在于物质经验世界中：数学的运用就是用绝对的数学对象及关系取代现实的对象和关系，再对数学世界的有关运算推演结果作现实的解读)，重要的是它们的性质被公理所确定和制约．这个伟大思想被希尔伯特所提炼和完善，成为唯一能够真正加以推演，发展，论证的数学平台.

楼主的问题，也只有在类似于欧氏几何那样的公理系统，即数域公理系统中才真正具有意义，可以给出明确解答的．至此可以看出，邪灵或者jzkyllcjl 的成千上万贴，不过是反人类数学的杞人忧天，小丑跳梁而已．