What is wrong with this "proof" of the following statement?
For every positive integer the number is even.
Proof:
Let be the subset of positive integers for which is odd. Assume is nonempty.
Let be its smallest element.
Then so is even.
But so equals which is a sum of two even numbers, which is even.
So which is a contradiction. Therefore, is empty, and the result follows.