数学是一门 研究数量、结构、变化、空间以及信息等概念的学科。它通过抽象化和逻辑推理，对物体的形状和运动进行计数、计算、测量和观察，从而产生。数学家们扩展了这些概念，以便用公式表达新的猜想，并从适当选择的公理和定义中建立严格推导的真理。数学是人类严格描述事物抽象结构和模式的通用手段，可以应用于现实世界的任何问题。所有的数学对象本质上都是人为定义的，从这个意义上说，数学属于形式科学，而不是自然科学。