Abstract

We show that a paraconsistent set theory proposed in Weber (2010) is strong enough to provide a quite classical nonprimitive notion of identity, so that the relation is an equivalence relation and also obeys full substitutivity: a = b -> F(b)). With this as background it is shown that the proposed theory also proves the negation of x=x. While not by itself showing that the proposed system is trivial in the sense of proving all statements, it is argued that this outcome makes the system inadequate