Re: [mizar] Hindrances

[Zenon Kulpa <zkulpa@ippt.gov.pl>]

> From mariusz@math.uwb.edu.pl Fri Nov  8 19:15:03 2002
> 
> Zenon Kulpa wrote:
> 
> > In essence, it is homonymy - different expressions
> > with the same meaning.
> 
> You mean synonymy, don't you. 
>
Yes, of course. Thanks for correction.

> But they hardly are synonyms.
> 
Possibly not exact, but near to.
Like in natural languages - few words listed as synonyms
are of exactly the same meaning in all contexts.

-- Zenon Kulpa