分类:基础与逻辑

从集合、映射与推理，学会准确表达数学。

英文名称：Foundations and logic。

先用集合描述对象，再用函数描述对应关系，最后用命题、量词和证明检查推理。基础语言贯穿所有分支，不意味着每个形式化细节都应先于具体数学学习。

集合 → 函数 → 逻辑

遇到定义时先找对象范围与量词；读完逻辑条目后，可回到极限检查 ε 与 δ 的依赖关系。

• 集合
• 函数
• 逻辑

• 皮亚诺公理

数学的分支不是互相隔绝的盒子；同一词条可能属于多个分类。证明依赖逻辑，结构计算常借助矩阵，现实应用需要数学建模说明假设。进一步阅读可回到学科导航按问题选择路线。

本分类是本站的学习入口，不等同于研究文献的完整细分目录。正文结合具体问题、逐步推导和必要图解，提供定义、算例及参考来源。写作约定见帮助:词条写作标准。