一分钟数学分析6,1+1=2,第三次数学危机

关于一分钟数学分析6,1+1=2, 第三次数学危机的重要知识点课代表已经整理好了快来划重点!
目录
1️⃣数学公理
2️⃣如何解决:因为考虑集合太大才出现矛盾
3️⃣证明自然数的存在性
一、数学公理
00:10
1、一个集体一个人,要么在这个集体中,要么不在是不对的
2、概括公理保证了自然数是存在的
3、1901年罗素证明了概括公理会导致悖论

二、如何解决:因为考虑集合太大才出现矛盾
00:51
1、修改概括公理

2、可得罗素悖论是不存在
3、用性质构造集合必须的一个前提是在一个集合中,再引入无穷公理来保证自然数存在

三、证明自然数的存在性
01:42
1、数学归纳法在这个大N中成立

2、定义加1函数V为把Z应为,把0定义为空集
