On paraconsistent set theories