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