無限降下法
数学における無限降下法（むげんこうかほう、, 、）とは、自然数が整列集合であるという性質を利用した、証明の一手法である。背理法の一種であり、数学的帰納法の一型とも見なせる。17世紀の数学者ピエール・ド・フェルマーによって始められたとされ、彼はこの証明法を好んで用いた。最も古い使用例は『原論』にある。典型的な例は『原論』第7巻 命題31の証明で、ユークリッドは「すべての合成数は素数で割り切れる（『原論』の用語では「通約できる」）」ことを無限降下法で示した。