In article <fae4bbbc-c37e-4699-b0a5-bcb158c7b986@a30g2000yqn.googlegroups.com>, WM <mueckenh@rz.fh-augsburg.de> wrote:
> I have been told that ZFC yields this result: There are uncountable > many real numbers. And by number I understand something that can be > put in trichotomy with other numbers. If this is not the case, ZFC may > be right.
And if it is the case, ZFC may be "right". The issue is not whether WM consents to it, but whether there is any statement expressible in ZFC which can be proved in ZFC and its negation also proved in ZFC.
