“Paraconsistent logic” or “paraconsistent set theory” is what you are searching for.

I didn't think I'd get an answer to this, but awesome.