Re: circular paradox gizmo

[...]

> 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