すうがく【数学】 古くは数に関する学問，すなわち算術の意。現在では数・量および空間に関して研究し，さらに抽象的な概念を扱う学問になっている。

すうがくきそろん【数学基礎論】 19 世紀末から 20 世紀初頭にあらわれた集合論の矛盾を解決するために，20 世紀初頭に成立した数学の一分科。数学の論理的構造を，記号論理を用いて研究する。広く数学的諸研究の理論的基礎となる。

すうがくてききのうほう【数学的帰納法】 自然数nに関する命題において，（1）この命題がn＝1 のとき成立し，（2）n＝kのとき成立すると仮定すればn＝k＋1 のときにも成立する，という二つの事柄を証明できるとき，この命題はすべての自然数nについて成立する，と結論する証明法。