すうがく-てき-きのうほう ―キナフハフ [0] 【数学的帰納法】 自然数 に関する命題において，(1)この命題が ＝1 のとき成立し，(2) ＝ のとき成立すると仮定すれば ＝＋1 のときにも成立する，という二つの事柄を証明できるとき，この命題はすべての自然数 について成立する，と結論する証明法。

すうがく-てき-ろんりがく [9] 【数学的論理学】 記号論理学のこと。数学的推論（証明）の構造を形式化したものであることからの名。数理論理学。 →記号論理学