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