摘要: 自然数 定义——皮亚诺公理 初始元素:存在一个自然数 \(0\)。 后继函数:每个自然数 \(n\) 有唯一的后继 \(S(n)\),且满足 \(S(n) \neq 0,\nexists a\neq b,S(a)=S(b)\)。 归纳公理:若某性质 \(P\) 满足:\(P(0)\) 为真,若 \( 阅读全文
posted @ 2025-04-13 21:19 lotus_f 阅读(111) 评论(0) 推荐(0)