A calculus of the absurd

5.2.2 From \(k\) to \(k+1\)

Sometimes it can be more practical to work from the case \(n=k\) and apply operations to that to form the case \(n=k+1\), rather than trying to expose \(n=k\) within \(n=k+1\) (i.e. write the case \(n=k+1\) in terms of \(n=k\)).

TODO: example