在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。简单地说，第一条定理指出：
任何兼容的形式系统，只要蕴涵皮亚诺算术公理，就可以在其中构造在体系中不能被证明的真命题，因此通过推演不能得到所有真命题（即体系是不完备的）。把第一条定理的证明过程在体系内部形式化后，哥德尔证明了第二条定理。该定理指出：
任何逻辑自洽的形式系统，只要蕴涵皮亚诺算术公理，它就不能用于证明它本身的兼容性。
这个结果破坏了数学中一个称为希尔伯特计划的哲学企图。大卫·希尔伯特提出，像实分析那样较为复杂的体系的兼容性，可以用较为简单的体系中的手段来证明。最终，全部数学的兼容性都可以归结为基本算术的兼容性。但哥德尔的第二条定理证明了基本算术的兼容性不能在自身内部证明，因此当然就不能用来证明比它更强的系统的兼容性了。
你长的真丑_pm
大佬讲的很不错，但是那个前面的“你知道吗？你真的知道吗？”能不能去掉，慎得慌
芳华0501 回复 @你长的真丑_pm：
不能。不好意思！
愚翁的地瓜 回复 @你长的真丑_pm：
有点鬼故事开场时的定场诗的意境，而且还是一个小朋友，声音有些尖，说实话，我也不是太喜欢，不过主播想要表达的意义很重要，我也能够理解，希望能够折中一下，我觉得汪洁老师的女儿来念这个定场诗比较合适，我比较喜欢汪洁老师女儿的声音。
刘阳_iC 回复 @你长的真丑_pm：
慎字是否瘆字之误？
遥远的心_ed 回复 @你长的真丑_pm：
催毛求丝矫情
用户26703367 回复 @你长的真丑_pm：
这小朋友的声音这么可爱，你才瘆得慌
医诗哲桑树华
夸克间强作用力相互组合成质子，中子，电子以后的剩余力便是电磁力。由强作用力转化为电磁力.探索科学，抛砖引玉。
玩666
很喜欢小姑娘稚气的开场白，我六岁的女儿说话也是这样的，很可爱！
芳华0501 回复 @玩666：
咱们是一路的
伊森的喜
这句话是假话，可以不可以认为是指代不明呢？
芳华0501 回复 @伊森的喜：
原文是：我现在说的是假话。很清楚了！
溪流_青岛
看似文字游戏，却蕴含无穷哲理，很好的题目
随便起个名字_uE