[SetTheorist]

Paraconsistent logic looks into logical systems that allow contradictions.

A lot of set-theory research is looking into the consequences of various axiomatic assumptions.