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