系列分集
数学基础第 15 讲:戴德金–皮亚诺公理与皮亚诺算术
Fundamentals of Mathematics - Lecture 15: Dedekind-Peano vs Peano Arithmetic
比较两种框架如何表达自然数的后继和归纳。特别看归纳是在谈自然数的任意子集,还是按形式语言中的公式分别给出。
Taylor Dupuy · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Fundamentals of Mathematics · 2022-01-12