 The standard approaches to these problems of inconsistency are, by and large, ones of expedience. A paraconsistent approach makes it possible to have theories of truth and sethood in which the mathematically fundamental intuitions about these notions are respected. For example, as Brady (1989; 2006) has shown, contradictions may be allowed to arise in a paraconsistent set theory, but these need not infect the whole theory.