Thursday, February 27, 2014

No.24

Every nonempty set of nonnegative integers has at least element 


  • Let C = {n: P(n) is false} (the set of counterexamples)
  • Assume C is nonempty in order to derive a contradiction
  • Let m be the smallest element of C
  • Derive a contradiction (perhaps by finding a smaller member of C)


No comments:

Post a Comment