> >(...) A comment about Goedel's Incompleteness Theorem deleted. > >>>This is correct, but what does it have to do with the question whether it can >>>be proved that '1+1=2'? This statement can be proved in the standard set
>>>theory, and in Peano arithmetic - at least if you first give a definition of >>>'1', '+', '=' and '2' (which makes the proof tedious, to say the least).
> ============ IF you want to have some fun, try proving this:
A simple closed curve divides the plane into two areas, one finite in area, the other, infinite.