Content deleted Content added
mNo edit summary |
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.
|