Paraconsistent set theory (The Reasoner, 2008)