"Although a big part of the research on paraconsistent logics has so far been motivated by the paradoxes in naive set theory, and to developing alternative paraconsistent mathematics, I do not think that paraconsistent mathematics has real interest - at least not as long as we deal with truth in pure mathematics."