Follow along with the video below to see how to install our site as a web app on your home screen.
Note: This feature may not be available in some browsers.
Normal
Not at all.The truth value of axioms (like identity, commutation, association, etc) are self-evident -- not a product of some logical operation.Not that I am aware of. Like I said, the solution to set theoretical paradoxes (like the barber's paradox) is in axiomatic set theory. You simply define formally the axioms that govern set operations and membership.The existence of the uncountably many sets (axiom of choice), the existence of the null set and universal set, the membership of the null set in all conceivable sets, to name a few.
Not at all.
The truth value of axioms (like identity, commutation, association, etc) are self-evident -- not a product of some logical operation.
Not that I am aware of. Like I said, the solution to set theoretical paradoxes (like the barber's paradox) is in axiomatic set theory. You simply define formally the axioms that govern set operations and membership.
The existence of the uncountably many sets (axiom of choice), the existence of the null set and universal set, the membership of the null set in all conceivable sets, to name a few.