Re: TMRM: isa/sub - irreflexive relation vs. reflexive relation
Lars Heuer <[email protected]> Wed, 5 Oct 2011 17:19:35 +0200
| Newsgroups | gmane.text.xml.xtm.general |
|---|---|
| Organization | Semagia |
| Message-ID | <[email protected]> |
Hi Simon, [isa irreflexive] > Maybe it helps avoid Russell's Paradox? [1] or something similar? Just a > guess... Since sub is already reflexive (x sub x for all x element of m), I wonder if Russell's Paradox would be a valid argument here. Best regards, Lars -- Semagia <http://www.semagia.com> <http://www.topicmaps.de/mailinglist/> German Topic Maps mailing list <http://tinytim.sourceforge.net/> Open Source Topic Maps engine <http://mappa.semagia.com/> Mappa - Python Topic Maps engine