Re: [ontac-dev] Types, sets, extensions.

[Chris Menzel <cmenzel@xxxxxxxx>]

On Thu, Feb 02, 2006 at 09:46:31AM -0500, Barry Smith wrote:
> Types have extensions, which are sets.    (01)

Unless it is the type SET (among others).  There is no set of all sets,
according to our best theories of sets (as you know).    (02)

-chris    (03)


_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-dev/
To Post: mailto:ontac-dev@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config: http://colab.cim3.net/mailman/listinfo/ontac-dev/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki: 
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG    (04)