Virgil
Posts:
8,833
Registered:
1/6/11


Re: Matheology � 291
Posted:
Jun 16, 2013 7:36 PM


In article <67c1f2ac7aeb460dbda220eb341a718d@googlegroups.com>, mueckenh@rz.fhaugsburg.de wrote:
> atheology § 291 > > > Only someone who (like the revionist) denies that the concepts and axioms > of classical set theory have any meaning (or any welldefined meaning) could > be satisfied with such a solution {{undecidability of the continuum > hypothesis}}
To assume that presently unproven and apparently undecideable status of the continuum hypothesis contradicts any of, say, ZF or ZFC or other such system in which it can be expressed is deliberately to ignore a great deal of well known logic.
Which behavior is SOP to WM.
It is well known, at least outside those the mindnumbing and opaque walls of Wolkenmuekenheim, that any system sufficient to express standard arithmetic, and thus express the continuum hypothesis, can also express many statements that can neither be proved true not proved false within that system.
The only way to demonstrate that the continuum hypothesis is not one of those necessarily existent undecidables is by either proving it true or proving it false in ZF or some other system n which it can be stated.
Note also that in WMytheology the continuum hypothesis cannot even be stated correctly. 

