系列分集

戴德金－皮亚诺公理与数学归纳法

Fundamentals of Mathematics - Lecture 11: Dedekind-Peano Axioms and More Induction

从自然数和后继关系出发，观察归纳公理如何保证从起点反复推下去就能覆盖所有自然数。

Taylor Dupuy · 系列收录

讨论出处