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