Reply to thread

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.


Back
Top