
Re: Double Induction  A brief note that may help
Posted:
Jul 16, 2013 7:02 PM


On Wednesday, July 17, 2013 12:00:42 AM UTC+1, christian.bau wrote: Correction:
That would indeed prove P (x, y) for all pairs x, y. However, it may be impossible to prove one of these. For example, I might be able to prove P (x, y) implies P (x+1, y), and I might only be able to prove that if P (x, y) is true for all integers y, then P (x + 1, 0) is true.

