|
|
In article <1159611066.767146.101490@xxxxxxxxxxxxxxxxxxxxxxxxxxx>,
mueckenh@xxxxxxxxxxxxxxxxx wrote:
> 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.
>
So "Mueckenh" concludes that there is no system in which there is a
complete list of reals? So what else is new?
|
|