- 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>
[...] > 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) -- Jos
Received on Saturday, 4 May 2002 04:27:13 UTC