1回答

liuyubobobo

2018-08-07

是人为定义的。人为定义的就没有正确与否的概念。只是基于人为的定义，可以进行后续的推导而已。

最典型的例子是几何学，我们在初中所学习的都是欧式几何，都是基于五大基本公理。但是，对于其中的第五公理，一旦假设他是错误的。（第五公理是：同平面内一条直线和另外两条直线相交，若在某一侧的两个内角和小于二直角的和，则这二直线经无限延长后在这一侧相交。 ）只可以衍生出非欧几何。

所以，不同的基本假设，可以得到不同的数学体系。

不过，在数学领域，一个很关键的概念，叫做“相容的”。换句话说，我的基本定义是对是错不重要（他就是定义而已。）但是，根据我的基本定义，不能推导出矛盾。如果推导出了矛盾，那么，这个数学体系不相容。

具体的，不管是非欧几何，还是相容性，都不是这个课程的内容了，有兴趣可以自行查阅更多资料学习：）

2

6

神经旷野舞者

回复

liuyubobobo

想到可推导就感觉数学没那么神奇了，要是不可推导才神奇

2018-08-07

共6条回复