Date: Apr 8, 2013 3:46 AM
Author: William Elliot
Subject: Re: some amateurish opinions on CH
On Sun, 7 Apr 2013, fom wrote:

> > > A proof

> >

> > Yes. Assume not GCH. Thus there's myriads of superfluously conceptual

> > infinite cardinals As this violates Occam's Razor, GCH, QED.

> >

> > Similarly Occam's Razor shows there's no inaccessible cardinals.

>

> I will take your statement as confirmation that you

> believe GCH to be true. It is, however, not a proof

> in the sense which had been intended.

By Occam's Razor, GCH + no inaccessibles.

Thus AxC and some forcing arguments are vacuous.

> :-)

Remember the enginers' KISS and the beauty of simplicity.

What more simple than invoking Occam for V = L and no inaccessibles?

Face it, that's all the set theory needed for all of math.

BTW, Quine's NF denies AxC.