数控车床大赛图纸:最小自然数原理的几种证明方法

来源:百度文库 编辑:高考问答 时间:2024/05/05 15:04:50
逻辑、集合论、数论

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

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

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

图论

四种