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

WM <mueckenh@rz.fh-augsburg.de> writes:

> On 14 Mrz., 12:35, Alan Smaill <sma...@SPAMinf.ed.ac.uk> wrote:
>> WM <mueck...@rz.fh-augsburg.de> 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
mathematics?

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