[FOM] V = WF costs nothing

[Alasdair Urquhart]

If we want to make the question of V = WF definite,
then we could ask: "Are all theories of nonwellfounded
sets proposed so far interpretable in ZFC + WF?"

Since the answer appears to be "yes", I range myself
with those who think of V = WF as a harmless addition
to the set-theoretical axioms that does not rule
out interpretations of weird and wonderful nonwellfounded universes
such as those of Finsler, Aczel, Barwise, Etchemendy,
Larry Moss and other writers on nonwellfounded sets.

Alasdair Urquhart