'element'

Jesse Alama <[email protected]> Mon, 20 Aug 2012 11:56:21 -0700

Newsgroups	gmane.comp.mathematics.mizar
Message-ID	<[email protected]>

Can we please change the name of new 'element' subtype of 'set'?

To my mind, calling the new subtype 'element' misleadingly suggests that 
Mizar is making a foundational distinction between sets and urelements. 
  But that's not the case because TARSKI:1 effectively identifies 'set' 
and 'element'.

How about 'thing', 'object', or 'item'?

Jesse

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.