Re: Why? [was Re: Cantor`s powerset theorem is false?]


William of Ockham wrote:

My objection is that his claim is so wide-reaching that it rules out
many things as meaningless which many people would count as meaningful
(including the assertion that there exists a set containing every
subset of N, which is not on the face of it meaningless).

As I understand it, you are claiming that it is obvious to you that the
assertion that there exists a set containing every subset of N is a
meaningful assertion.

So let me ask you a question. Applying the same logic or intuition
which forces you to believe that such an assertion is meaningful, would
you not also be forced to the conclusion that the assertion that there
exists a set containing every set is meaningful? I'd really appreciate
it if you would go into some detail about why or why not that would be
the case.

.

Relevant Pages