系统设计与验证 (Lean)Lean 数学基础Lean数学基础 欢迎来到 Lean 的 Lean数学基础 部分，在这一章节中，你将学到以下内容： Lean自然数 Lean整数 Lean有理数 Lean实数 Lean复数 Lean序数与基数 Lean集合论 Lean关系理论 Lean函数理论 Lean序理论 Lean拓扑学基础 Lean代数学基础 Lean微积分基础 Lean数论基础 Have fun coding!