欧几里得几何是完备的吗
哥德尔不完备定理并不意味着任何有意义的公理系统都是不完备的。该定理需假设公理系统可以“定义”自然数。不过并非所有系统都能定义自然数,就算这些系统拥有包括自然数作为子集的模型。欧几里得几何可以被一阶公理化为一个完备的系统(事实上,欧几里得的原创公理集已经非常接近于完备的系统。所缺少的公理是非常直观的,以至于直到出现了形式化证明之后才注意到需要它们)。
0
纠错
猜你喜欢
冉有什么含义
含义如下冉有春秋时儒者,冉氏,名求,字子有,鲁国人,孔丘弟子...日本豆腐保质期有几天
未开封的日本豆腐在冰箱中可以保存天左右,开封的日本豆腐最好是...什么是OS
是计算机系统中负责支撑应用程序运行环境以及用户操作环境的系统...怎么下载k歌
在手机上找到应用商店,因手机系统不同名字可能不同,但是功能是...洛克王国灵石猴怎么获得
通过灵猴石天夜在玄玉丹炉中修炼而获得。具体步骤先进入游戏页面...2020款思域几个颜色
款思域总共有个颜色,分别是塔夫绸白彩晶黑钛金银雪铂银水晶紫拉...核桃正确保养方法
上手盘玩我们在盘玩的时候还是用自己的手来盘玩会更好,这样将手...京台高速的起点和终点分别在哪里
京台高速的起点是北京,终点是台北。关键路线为北京廊坊沧州德州...三星手机怎么设置小窗口
把手机调整到主页屏幕背景,长按左下角三这个标志键。会显示出一...电信的套餐月基本费怎么取消
电信的套餐月基本费取消的方法步骤如下进入中国电信官方网站,登...开心的等待的说说
一个身影缓缓地向我走来,那样的等待毕竟是无言。有人为等待穷尽...被晒伤后怎么修复
被晒伤后皮肤的修复如下首先要避免继续暴晒其次要加强皮肤的保湿...裸考四级是啥意思
裸考四级就是不做任何准备就去参加四级考试。裸考原来是高考名词...朋友圈伤感说说
也许不经意间的一次回眸,却遭遇一生难以忘怀的人。也许无意识的...中北大学环境怎么样
中北大学位于山西太原,是山西省人民政府与中华人民共和国工业和...