What is wrong with this "proof" of the following statement?
For every positive integer the number is even.
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.