皮亚诺公理体系：修订历史

2025年7月30日 (星期三)

• 当前之前 13:562025年7月30日 (三) 13:56 Tabelog 留言 贡献 小 4,039字节 0 修正参考资料 标签：可视化编辑

2025年7月27日 (星期日)

• 当前之前 13:212025年7月27日 (日) 13:21 Tabelog 留言 贡献 小 4,039字节 +28 无编辑摘要

2025年7月17日 (星期四)

• 当前之前 10:062025年7月17日 (四) 10:06 Tabelog 留言 贡献 4,011字节 +1,777 无编辑摘要 标签：可视化编辑
• 当前之前 09:422025年7月17日 (四) 09:42 Tabelog 留言 贡献 2,234字节 +2,234 创建页面，内容为“Peano 公理是定义自然数集合及其基本性质的一组公理。 === 定义 === 用数学语言（一阶逻辑与集合论）可形式化表述如下： 设 <math>N</math> 为一个集合，<math>0\in N</math> 为其一个特定元素，<math>s:N\rightarrow N</math>为一个函数（称为“后继函数”），满足以下五条公理： # <math>0\in N</math>（0 是自然数） # <math>\forall n\in N, s(n)\in N</math>（后继函数的封闭性）…” 标签：可视化编辑