Date: Apr 22, 2013 1:35 PM
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.