Date: Apr 22, 2013 1:35 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 246
On 22 Apr., 19:08, Ralf Bader <ba...@nefkom.net> wrote:

> >> Mückenheim seems to think are quantifiers, as

> >> a': E\lambda: \lambda is real

> >> b': A\lambda: \lambda is real-

>

> > The former is declared as a correct math statement, the latter is

> > declared as a false math statement.

> > Too difficult for you to understand?

>

>

> The matter is that the garbage you composed is

> no mathematical statement at all.

You are wrong. "exists a solution L of x^3 + 1 = 0 with the property L

is real" is a mathematicial statement with the existence quantifier.

> "what Mückenheim seems to

> think are quantifiers" has been used purposefully,

but by a choleric non-mathematician. Therefore it is of no value.

Regards, WM