On 24 Apr., 23:22, Ralf Bader <ba...@nefkom.net> wrote:
> > Would you tell me (or at least the curious readers) what you find when > > "resolving" my abbreviation? > > Why should I?
Because even your fellow-matheologians cannot understand what is wrong with my statement:
> The curious reader will be able to find the answer himself.
I doubt that.
> > When we abbreviate "resolution of the equality x^3 + 1 = 0" by lambda, > > we can say > > E lambda, lamda is real. (true) > > And this is not the way in which WE use variables and quantifiers.-
That sounds somewhat different from your original accusation. How quantifiers are used in mathematics can be found in several books like mine, or here http://en.wikipedia.org/wiki/Quantifier In particular see the paragraph about Peter's friends.
Probably that is not the way YOU use to use it. But that is not tantamount to an error in mathematics or in general use or in my book.
My proposal: Explain what you find mistaken with my explanation or admit that you are in error.