[요약] 개별적인 특수한 사실이나 원리로부터 그러한 사례들이 포함되는 좀 더 확장된 일반적 명제를 이끌어내는 것을 귀납(歸納, induction)이라 하며, 이러한 귀납적 추리의 방법과 절차를 논리적으로 체계화한 것을 귀납법이라 한다. 수학적 명제를 증명하는 방법 중 하나로 명제가 참인 증거를 최대한 많이 찾아 명제가 참임을 증명하는 연역법과 흔히 대비된다. 반례가 하나라도 발견될 경우 아무리 명제가 참이라는 증거가 많아도 명제가 거짓이 될 위험이 있는 연역법과 달리 귀납법은 정확한 수학적 증명이 가능하다. 귀납법은 다음과 같은 과정을 통해 이루어진다. 1) 초기값 a에 대해 Pa가 참임을 보임 2) 임의의 자연수 k에 대해 Pk가 성립한다고 가정 3) Pk가 성립한다고 가정할 경우 P(k+1) 역시 성립함을 보임