Paraconsistent logic looks into logical systems that allow contradictions. A lot of set-theory research is looking into the consequences of various axiomatic a

Paraconsistent logic looks into logical systems that allow contradictions. A lot of set-theory research is looking into the consequences of various axiomatic assumptions.