On 6/20/2009 11:12 PM, Roger Bishop Jones wrote: > I have long believed that classical well-founded first > order set theories should be construed under a semantics > which excludes non-well-founded sets. Is that assumption equivalent in a suitable sense to some fixed-point extension of first-order logic, e.g. Datalog? Vaughan Pratt