수학적 귀납법에서 명제 $p(n)$이 가장 작은 자연수(보통 $n=1$)에 대해 실제로 성립함을 직접 확인하는 첫 번째 단계이다.
이 용어를 정식으로 다루는 문서: 수학적 귀납법
← 사전 전체 보기