Mathematical Induction 이란?

수학적 귀납법(數學的歸納法, 영어: mathematical induction), 줄여서 귀납법은 어떤 성질이 모든 자연수에 대해 성립함을 증명하기 위해 사용되는 방법이다.

어떤 성질이 모든 자연수 n에 대해 성립함을 보이기 위해서는, '두 조건'을 각각 증명하는 두 과정을 거친다.

• 첫 자연수(0 또는 1)에 대해 성립 증명
• n에 대해 성립함을 가정하고, n+1 에 대한 성립 증명