שינויים
/* רעיון בסיסי - אינדוקציה על הטבעיים */
בשביל להוכיח שטענה מסוימת <math>P(n)</math> נכונה עבור כל מספר טבעי
(למשל <math>(1+2+\cdots +n)^2 =1^3 +2^3 + \cdots +n^3</math>) מספיק להוכיח את הבאים:
* (בסיס האינדוקציה) הטענה מתקיימת עבור <math>n=1</math> כלומר <math>P(1)</math> מתקיים* (צעד האינדוקציה)'''אם''' הטענה נכונה עבור מספר טבעי מסוים אזי היא נכונה גם עבור המספר הבא אחריו. כלומר <math>P(n)\Rightarrow P(n+1)</math>.
למה זה מספיק?
נוכיח עבור <math>n+1</math> מהנחת האינדוקציה נקבל כי
וסיימנו
