[...] > 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) -- JosReceived on Saturday, 4 May 2002 04:27:13 UTC
This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:43 UTC