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.