数学的帰納法 - Wikipedia
ja.wikipedia.org