W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2002

Re: circular paradox gizmo

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 3 May 2002 18:07:11 +0200
To: pfps@research.bell-labs.com
Cc: "www-webont-wg" <www-webont-wg@w3.org>
Message-ID: <OFE622B71E.615935F5-ONC1256BAE.00569FB6@agfa.be>


> I just sent out a message showing that Jeremy's comprehension axioms lead
> to a contradiction.

I saw that one, and I understood that you can derive
a ``contradiction'' from an empty given (except for the
(comprehension) axioms of course). I will retry the
examples myself, and see if we can derive a contradiction
(sorry that I'm slow on this)

Received on Saturday, 4 May 2002 04:27:13 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:30 UTC