Content deleted Content added
remove head line |
wikify - refer back to math induction |
||
Line 1:
It is possible to prove that [[mathematical induction]] works using a form of [[natural deduction logic]] and using [[proof by contradiction]].
A simplified version is given here. This proof does not use the standard mathematical symbols for '''there exists''' and '''for all''' to make it more accessible to less mathematically motivated readers.
| |||