We have two statements:
- 0 = 1
- Both statements are false
If the second statement is true, then it is false. We've come to a contradiction.
If the second statement is false, then at least one of the statements is true. The second one is false, therefore, the first one is true. We've proven that 0 = 1.
How is that possible and is there a way to prove this is wrong?
You can simplify the example to a single "this statement is not true". It just shows you that you cannot expect statements to talk about themselves and still have meaningful truth values.
That's why one has to be so careful in constructing Set Theory, and the bare naive approach doesn't work.