Proof of mathematical induction: Difference between revisions

Content deleted Content added
mNo edit summary
DanMS (talk | contribs)
m missing period (You can help!)
Line 29:
Using (4), let ''m′'' be the '''smallest''' such value such that '''not''' ''P''(''m′'')
 
Clearly ''m′'' cannot be 0, since this leads to an immediate contradiction (''P''(0) & '''not''' ''P''(0)) with ''P''(0) - rule (1).
 
Suppose ''m′'' > 0.