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