> 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?