Re: Cantor Confusion

cbrown@xxxxxxxxxxxxxxxxx schrieb:


> Therefore, the assertion "M is a complete list of reals" is only true
> if the assertion "M is complete, and M is not complete" is true.
>
> (A and ~A) = false.

A system has the property W, if it can be proved that the reals can be
well-ordered. A system has the property ~W if it can be proved that the
reals cannot be well-ordered. A system is self-contradictive, if W and
~W can be proved. Therefore the system does not exist.

Regards, WM