Re: [mizar] 'element'

[Jesse Alama <jesse.alama@gmail.com>]

trybulec@math.uwb.edu.pl wrote:

> > How about 'thing', 'object', or 'item'?
>
> I see no strong arguments for changing notation. I do not see strong
> arguments for 'element', either.

Here's a linguistic reason.  In the context of chemistry, one can say,
e.g., 'hydrogen is an element'.  But in the context of set theory,
'element' to me can only mean 'element of something'.  So 'element' as
a new radix (non-dependent) type strikes me as an awkward name.

--
Jesse Alama
http://centria.di.fct.unl.pt/~alama/