# Can any logic system provide the impossible solution to Russell's paradox in naive set theory?

In naive set theory in classical logic, we cannot describe or find a solution to Russell's set paradox (it is impossible).

But is it there any logic system or any method that can provide this solution? Is it there any logic system or method where we could find and describe this solution? Would trivialism do the work (since contradictions and impossible things are allowed there)?

• Trivial logics are just that trivial. Sep 4, 2018 at 0:47
• In naive set theory, (using) classical logic, we can describe Russell's set and show that it produces a contradiction. Sep 4, 2018 at 6:56
• "is it there any logic system or any method that can provide this (to the Paradox) solution? " Yes: see Axiomatic Set Theory. Sep 4, 2018 at 8:58
• @MauroALLEGRANZA But in a logic system where impossible things can happen like in trivialism couldn't we find the impossible solution that cannot exist in classical-logic-naive-set-theory for Russell's paradox (since it is impossible to find, wouldn't we be able to find it in a logic system where impossible things are valid or can be found, like in trivialism)? Sep 4, 2018 at 11:15
• Already asked (and answered) twice... See also Paraconsistent set theory : "The naive, and intuitively correct, axioms of set theory are the Comprehension Schema and Extensionality Principle. [...] It then follows that r∈r ∧ r∉r. A paraconsistent approach makes it possible to have theories of sethood in which the mathematically fundamental intuitions about these notions are respected. There are several approaches to set theory with naive comprehension via paraconsistent logic." Sep 4, 2018 at 11:17