数学是系统研究数、规律、结构、空间与变化的学科。它建立精确的概念，并通过逻辑推理和数学证明探究这些概念之间的关系。数学部分起源于计数、测量和实用计算，但也研究不必具有直接物理解释的抽象对象。数学方法为众多学科中的科学解释、技术设计和定量研究提供支持。(unvis.it)
概念与方法
抽象使数学能够识别看似不同的情境所共有的关系。例如，数出五个物体，关注的是一种数的属性，与这些物体是石头还是树木无关。符号和定义将这类关系明确表达出来，使陈述能够适用于整类对象，而不只是个别实例。因此，数学记号并非仅仅是简写：它的发展使复杂思想更易于表达、处理和交流。(mathshistory.st-andrews.ac.uk)
公理是数学理论中的起始假设；定理是通过有效推理从假设出发确立的命题。定义规定术语的含义，证明则说明结论为何成立。猜想是尚未得到证明或反驳的命题。实例和计算可以启发猜想，但检验若干选定的情形通常不足以确立一个普遍命题。因此，数学研究既包含探索，也包含演绎论证。(unvis.it)
证明可以采用直接推导、分类讨论、反证或数学归纳法等方法。采用哪种方法取决于命题的结构。一个反例就足以推翻一个全称命题，而证明必须涵盖其假设所涉及的所有情形。形式系统将支配这些论证的规则明确规定下来。(docs.lean-lang.org)
历史发展
美索不达米亚和古埃及形成了以文字记录的数学传统，计算在那里服务于行政管理、测量及其他实际活动。在古希腊，以演绎方式组织数学知识的做法尤为突出。欧几里得的《几何原本》成书于公元前300年左右，通过定义、假设以及附有证明的命题，系统阐述了几何学和数论。(en.wikipedia.org)
中国、印度和伊斯兰世界也对数学的发展作出了重要贡献。印度的十进制位值记数法，包括零的使用，经由阿拉伯语学术著作传播，后来传入欧洲。伊斯兰数学家保存并拓展了早期数学传统，同时发展了代数方法和计算方法。这些发展表明，数学史是一部交流与转化的历史，而非一条单一、连续的发明脉络。(mathshistory.st-andrews.ac.uk)
17世纪，坐标方法将代数与几何学联系起来，微积分则为研究变化率和累积量提供了系统工具。艾萨克·牛顿和戈特弗里德·威廉·莱布尼茨在前人研究的基础上，建立了影响深远的微积分体系。19世纪，数学家更加重视严谨的分析、抽象代数和非欧几何，这既拓展了数学的研究内容，也提高了论证的标准。(mathshistory.st-andrews.ac.uk)
主要分支
数学的各个分支相互交叉，其界限部分取决于研究对象，部分取决于所用方法。主要领域包括以下几类。(math.mit.edu)
- **算术与数论：**算术研究数的运算；数论研究整数及相关数系，包括整除性、素数和方程的整数解。(mathshistory.st-andrews.ac.uk)
- **代数：**代数研究运算、方程和数学结构。初等代数处理符号表达式，抽象代数则研究群、环、域等结构。(catalog.mit.edu)
- **几何学与拓扑学：**几何学研究空间关系，包括距离、角度和曲率。拓扑学研究与连续性和连通性有关的性质，而不一定需要指定距离或角度。(math.mit.edu)
- **数学分析：**数学分析研究极限、连续性、微分、积分以及函数的相关性质。它为微积分提供严谨的基础，并将研究拓展至微分方程和无限维情形。(catalog.mit.edu)
- **概率与统计学：**概率以数学方式描述不确定性和随机现象；统计学发展从数据中获取知识的方法，包括估计和假设检验。(catalog.mit.edu)
- **离散数学：**这一领域研究有限排列、图和离散过程等结构。它包括组合数学，并与算法和理论计算有密切联系。(catalog.mit.edu)
基础与逻辑局限
逻辑学研究有效推理、形式语言以及理论的性质。集合论提供了一种广泛使用的框架，使数学对象可以通过集合及其相互关系来表示。包括类型论在内的其他数学基础研究进路，则以不同方式组织数学推理。这些框架区分了一个陈述的解释与它在指定规则和假设下是否可以被推导出来。(plato.stanford.edu)
哥德尔不完备定理揭示了形式公理化方法的局限。具体而言，一个相容、可有效公理化且包含足够算术内容的理论，无法判定其语言中可以表达的所有陈述。在相关条件下，它也无法证明自身的相容性。这些结果针对的是特定形式系统，并不意味着数学推理普遍不可靠，也不意味着某个不可判定的陈述无法在不同假设下得到解决。(plato.stanford.edu)
应用与计算
纯数学着眼于数学问题本身的内在结构，应用数学则结合其他学科发展并运用数学方法。这一区分并非绝对：实际问题能够推动抽象理论的发展，而最初没有直接应用的理论，日后也可能发挥作用。数学的应用涵盖流体动力学、计算生物学、计算机科学以及数据分析的数学基础等领域。(math.mit.edu)
计算发挥着多种作用。当无法得到精确表达式，或使用精确表达式不切实际时，数值方法可以求得近似解；对数值方法的研究包括收敛性、稳定性和误差。算法规定计算过程，计算复杂性则研究时间、内存等资源需求。计算实验能够揭示规律，但其作为证据的作用不同于证明。(catalog.mit.edu)
证明助手为数学与计算建立了另一种联系。Lean等系统允许使用形式语言表达定义、定理陈述和证明，并进行机械检验。验证能够确认一个形式证明符合系统的规则；将形式化陈述与原本意图表达的数学命题联系起来，仍是形式化过程的一部分。(lean-lang.org)