[...] > 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.4.0 : Friday, 17 January 2020 23:04:30 UTC