Fifihuang
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
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment