数学（すうがく、, ）は、量、構造、変化、空間といったものを対象として、いくつかの仮定から始めて、決められた演繹的推論をすすめることで得られる事実（定理）のみからなる体系を研究する学問である。