数学是研究数量、结构、变化以及空间模型等概念的一门学科.通过抽象化和逻辑推理的使用,由计数、计算、量度和对物体形状及运动的观察中产生.数学家们拓展这些概念,为了公式化新的猜想以及从合适选定的公理及定义中建立起严谨推导出的真理.