会员
众包
新闻
博问
闪存
赞助商
HarmonyOS
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
lotus-f
首页
新随笔
管理
2025年4月13日
重学小学数学
摘要: 自然数 定义——皮亚诺公理 初始元素:存在一个自然数 \(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)