Difference (from prior major revision)
(no other diffs)
Added: 102a103,104
That is precisely what I mean, Jan, thanks. Essentially, mathematical induction is a way of making a proof recursive, which is something that is used in logic when the proofs are not about numbers per se. --LMS
![[Home]](wikipedia.png)