第10章 只缺少最后一个条件（1 / 3）
一天的课程，除了上午李建国的两节课，让所有人认识到一个不一样的陈言外。
其他的课上，陈言倒还是老样子，一点没变。
那一张张发下来的答题卡上晃眼的分数，仿佛也在证明著，大家都只是早晨没睡醒而已。
到第二节晚自习结束时，这次一模考试的各科答题卡全都发了下来。
虽然总分排名和例行的一分一段表要等到明天才出来，但不妨碍大家先算一下总分，做到心里有数。
陈言也算了一下，数学42，理综112，语文104，英语108，总分366。
听著挺顺的，但这个成绩比起上学期末的那次月考，又拉了不少。
算完后，他又翻了翻试卷，做了个评估。
如果让他现在重新考的话，虽然会有进步，但进步不会太大。
就像张强说的，课上那题他是能拿分，可要是想数学考130，他的確还做不到。
而且除了数学外，还有理综，还有语文和英语。
高考想要取得一个好成绩，可不单单是一科的事。
想到这些，陈言有些无奈地摇了摇头，这玩意不能多想，想得越多反而越急躁。
也多亏了他这被磨了两年半的性子，知道与其多想，不如脚踏实地走好眼前的路。
而他的眼前，正有著已经敞开怀抱的数学路径。
最后一节晚自习是李建国的数学。
因为白天两节连堂再加上拖堂已经把试卷讲完了，所以李建国在讲了句“这次考试的题目还有没搞懂的上来问他”后，就让同学们自习刷题了。
也算是在明天总分排名和一分一段表出来前的一个小放鬆了。
於是，陈言快速收起这次一模的所有答题卡，放在了桌洞的最底下。
然后，摸出那本实分析，便钻进了实数的怀抱。
中午和晚自习前的那段时间，他已经顺利完成了实数公理体系的完备性、有序性、连续性证明。
也代表著节点1解锁前置条件的第一条，独立无断点完成皮亚诺公理→自然数→整数→有理数→实数的完整闭环推导全部完成。
后面就是第二条清晰界定实数公理体系的適用边界与不完备性的內容了。
这一块，其实是在第一条基础上的逻辑深入。
准確来说是在完备性上的深入。
因为通常来说，实数公理体系指的就是完备有序域的公理。
它的本意是能够唯一，且不带有歧义地定义实数集?。
那不完备性，指的就是在实数公理的形式系统中，是不是存在既不能证明也不能证偽的命题？
直白点就是实数公理体系永远存在逻辑上的盲点，有它管不到的真理。
那自然，有不完备性，就会存在適用边界。 ↑返回顶部↑
其他的课上，陈言倒还是老样子，一点没变。
那一张张发下来的答题卡上晃眼的分数，仿佛也在证明著，大家都只是早晨没睡醒而已。
到第二节晚自习结束时，这次一模考试的各科答题卡全都发了下来。
虽然总分排名和例行的一分一段表要等到明天才出来，但不妨碍大家先算一下总分，做到心里有数。
陈言也算了一下，数学42，理综112，语文104，英语108，总分366。
听著挺顺的，但这个成绩比起上学期末的那次月考，又拉了不少。
算完后，他又翻了翻试卷，做了个评估。
如果让他现在重新考的话，虽然会有进步，但进步不会太大。
就像张强说的，课上那题他是能拿分，可要是想数学考130，他的確还做不到。
而且除了数学外，还有理综，还有语文和英语。
高考想要取得一个好成绩，可不单单是一科的事。
想到这些，陈言有些无奈地摇了摇头，这玩意不能多想，想得越多反而越急躁。
也多亏了他这被磨了两年半的性子，知道与其多想，不如脚踏实地走好眼前的路。
而他的眼前，正有著已经敞开怀抱的数学路径。
最后一节晚自习是李建国的数学。
因为白天两节连堂再加上拖堂已经把试卷讲完了，所以李建国在讲了句“这次考试的题目还有没搞懂的上来问他”后，就让同学们自习刷题了。
也算是在明天总分排名和一分一段表出来前的一个小放鬆了。
於是，陈言快速收起这次一模的所有答题卡，放在了桌洞的最底下。
然后，摸出那本实分析，便钻进了实数的怀抱。
中午和晚自习前的那段时间，他已经顺利完成了实数公理体系的完备性、有序性、连续性证明。
也代表著节点1解锁前置条件的第一条，独立无断点完成皮亚诺公理→自然数→整数→有理数→实数的完整闭环推导全部完成。
后面就是第二条清晰界定实数公理体系的適用边界与不完备性的內容了。
这一块，其实是在第一条基础上的逻辑深入。
准確来说是在完备性上的深入。
因为通常来说，实数公理体系指的就是完备有序域的公理。
它的本意是能够唯一，且不带有歧义地定义实数集?。
那不完备性，指的就是在实数公理的形式系统中，是不是存在既不能证明也不能证偽的命题？
直白点就是实数公理体系永远存在逻辑上的盲点，有它管不到的真理。
那自然，有不完备性，就会存在適用边界。 ↑返回顶部↑