> collecting > the dust in a bookstore I sometimes visit.
Are you spreading that dust? Usually my book does not stay for a long time in a book shop.
> There I read about Mückenheim's > way of introducing quantifiers. It involved, as an example, the solutions > of the equation x^3 = 1, and the two assertions > a: There exists a real solution of that equation > b: All solutions of that equation are real > After introducing \lambda as an abbreviation for "solution of the equation > x^3 = 1" the above assertions are reformulated, using what 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?