수학적 귀납법

참고

https://pkjung.tistory.com/140

https://koosaga.com/190

http://www.cs.bsu.edu/~hfischer/math215/wellorder.pdf

Well ordering principle

every non-empty set of positive integers contains a least element

공집합이 아닌 양의 정수의 모든 집합은 최소 원소르 갖는다.

너무 당연해 보이는데 … 이 성질이 많은 결과들을 증명하는 데 큰 역할을 한다.

Well-ordering 이면 induction 이다.

induction 이면 well-ordering

Let A be a non-empty subset of N.

P(n)

수학적 귀납법으로 증명할 때 중요한 것들