从欧几里得（2200年前）以来，数学家一般都是从某些称为“公理”的陈述出发，推导出各种有用的结论。

从某种意义上说，这几乎就像是一种必须遵守两条规则的游戏。第一，公理应当尽量少。如果你能从某一条公理推导出另一条公理，所么，所推导出的那条公理就不能作为公理。

第二，公理必须是没有内在矛盾的。绝不允许从某一公理推导出两个相互矛盾的结论。

任何一本中学几何课本都要先列出一组公理：通过两点只能作一条直线；整体等于各个部分之和，等等。在很长一段时间内，人们都把欧几里得的公理看作是唯一可用来建立没有内在矛盾的几何学的公理，从而把这些公理看作是“真公理”。

但是，到了十九世纪，有人证明了欧几里得的公理是可以用某些方式来加以改变的，因而可以建立另外一种不同的几何学，即“非欧几里得几何学”。这两种几何学虽然各不相同，但每一种几何学都不具有内在矛盾。从此以后，人们如果要问哪一种几何学是真几何学，就没有意义了。如果要问，就只能问哪一种几何学更有用些。

事实上，我们可以用许多组公理来建立几种各不相同但又各自并不具有内在矛盾的数学体系。

在任何一种这样的数学体系中，你都必定不可能根据它的公理推导出既是如此又非如此的结论，因为如果这样的话，这个数学体系就不可能不具有内在矛盾，就会遭到淘汰。

Loading...

未加载完，尝试【刷新】or【退出阅读模式】or【关闭广告屏蔽】。

尝试更换【Firefox浏览器】or【Chrome谷歌浏览器】打开多多收藏！

移动流量偶尔打不开，可以切换电信、联通、Wifi。

收藏网址：www.ziyungong.cc

(＞人＜；)