In article <firstname.lastname@example.org>, WM <email@example.com> wrote:
> On 16 Mrz., 18:17, fom <fomJ...@nyms.net> wrote: > > An additional remark: > > > No. Zermelo's AC requires that one name can be written > > with certainty. > > This statement is not Zermelo's original statement. It can be proven > to hold, iff it was possible to choose, in practice, one element from > every subset of T. If this was do-able.
In the form that fom wrote the AC, and that WM was so careful to snip so it could not be seen, that form if the AC did require that one name be writable with certainty that it named something.
> Zermelo agrees that the AC is not provable. He did not know, at that > time, that it is disprovable by theoretical mathematics.
Curious then that it has yet to be disproved to the statisfaction of most mathematicians, or of those who are generally recognized as being mathematicians, which may well exclude WM. --