小智，问问你爹知道数论的“皮亚诺公理”吗

来源: Yeli9008 于 2025-11-19 20:40:33 [] [博客] [旧帖] [给我悄悄话] 阅读数 : (15974 bytes)
本帖于 2025-11-19 20:43:51 时间, 由普通用户 Yeli9008 编辑

皮亚诺公理

 
利用皮亚诺公理可以对正整数及N*进行如下描述:
任何一个满足下列条件的非空集合叫做正整数集合，记作N*。如果
Ⅰ 1是正整数；
Ⅱ 每一个确定的正整数a，都有一个确定的后继数a' ，a'也是正整数（数a的后继数a‘就是紧接在这个数后面的整数（a+1）。例如，1‘=2，2’=3等等。）；
Ⅲ 如果b、c都是正整数a的后继数，那么b = c；
Ⅳ 1不是任何正整数的后继数；
Ⅴ 设S⊆N*，且满足2个条件（i）1∈S；（ii）如果n∈S，那么n'∈S。那么S是全体正整数的集合，即S=N*。(这条公理也叫归纳公理，保证了数学归纳法的正确性)
皮亚诺公理对N*进行了刻画和约定，由它们可以推出关于正整数的各种性质。 [3]

 


 

所有跟帖： 

请您先登陆，再发跟帖！