P: All numbers are (somehow) interesting.
Proof (by well-ordering): Suppose there are a set of numbers that are uninteresting. By the well-ordering theorem there is one number among them that is the least such number.
But then that makes it interesting! Contradiction. Therefore, P holds for all numbers (which are all interesting).
(I should be reeeally working on assignments.)
No comments:
Post a Comment