In article <firstname.lastname@example.org> WM <email@example.com> writes: > On 22 Jun., 15:11, "Dik T. Winter" <Dik.Win...@cwi.nl> wrote: ... > > > Every meaning of every word is defined by a language. > > > Every language is a finite definition. > > > The number of finite definitions is countable. > > > > For each word the meaning can indeed be countable. But that does not mean > > that the set of meanings for all the words in a language is countable. > > No? How can that be accomplished?
I think by some negation of the axiom of choice.
> > > Every symbol is finite and is defined by a finite word. Therefore the > > > number of symbols and the number of finite sets of symbols is > > > countable. > > > > I did not know that every symbol is defined by a finite word. Can you show > > where I can find that result? > > You must scroll down quite a lot. But this margin is too small to note > the address.
Ok, so you can not show where I can find that result. In that case I am allowed to ignore it. -- dik t. winter, cwi, science park 123, 1098 xg amsterdam, nederland, +31205924131 home: bovenover 215, 1025 jn amsterdam, nederland; http://www.cwi.nl/~dik/