河南手拉手网址:最小自然数原理的几种证明方法

来源:百度文库 编辑:神马品牌网 时间:2024/04/30 07:02:08
逻辑、集合论、数论

可由自然数的Peano公理直接推出。在定义了自然数的序关系后,可以用Peano公理中的归纳公理反证。不论是数论抑或集合论中都是这样的。

不用Peano公理系统,最小自然数原理是难以说明的,因为还没有定义序关系(大小关系),就不存在“最小”一说。

回顾有关法规花样游泳辜负她

图论

四种