[unexpectedtrap]

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

[ninetyninenine]

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