Date: Mar 14, 2013 8:59 AM
Author: Alan Smaill
Subject: Re: Matheology § 223: AC and AMS
WM <firstname.lastname@example.org> 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
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