Date: Mar 14, 2013 8:59 AM
Author: Alan Smaill
Subject: Re: Matheology § 223: AC and AMS

WM <> writes:

> On 14 Mrz., 12:35, Alan Smaill <> wrote:
>> WM <> writes:
>> > According to standard matheology one can choose one element each of an
>> > uncountable set of sets. That is as wrong. Compare Matheology § 225.

>> You can and do of course  reject this axiom.
>> To show something is self-contradictory, however, you need to use the
>> reasoning principles of the system you want to show is
>> self-contradictory, not your own beliefs.

> The axiom belongs to the system. It says that elements can be chosen.
> To choose immaterial elements, hmm, how is that accomplished in a
> system that contains the axiom of choice?

I can only repeat myself --
where is the *logical* contradiction there, in terms of classical

Of course, you think it's false, and unimaginable, and whatever
words you want to use.

But you claim it's *self-contradictory*, don't you?

And that's a whole different claim.

> Regards, WM

Alan Smaill