河南手拉手网址:最小自然数原理的几种证明方法
来源:百度文库 编辑:神马品牌网 时间:2024/04/30 07:02:08
逻辑、集合论、数论
可由自然数的Peano公理直接推出。在定义了自然数的序关系后,可以用Peano公理中的归纳公理反证。不论是数论抑或集合论中都是这样的。
不用Peano公理系统,最小自然数原理是难以说明的,因为还没有定义序关系(大小关系),就不存在“最小”一说。
回顾有关法规花样游泳辜负她
图论
四种
神马品牌网是一部内容开放、自由的互动网络百科全书
客观、专业、权威的知识性百科全书
来源:百度文库 编辑:神马品牌网 时间:2024/04/30 07:02:08
可由自然数的Peano公理直接推出。在定义了自然数的序关系后,可以用Peano公理中的归纳公理反证。不论是数论抑或集合论中都是这样的。
不用Peano公理系统,最小自然数原理是难以说明的,因为还没有定义序关系(大小关系),就不存在“最小”一说。
回顾有关法规花样游泳辜负她
图论
四种