/sci/ - Science & Math

Happyness=Reality-Expectations.

http://waitbutwhy.com/2013/09/why-generation-y-yuppies-are-unhappy.html

So I'm reading through Zakon's Basic Concepts of Mathematics, and during the set theory introduction, we're asked to prove the basic operations of sets.

I'm coming directly from euclidean geometry, and I feel like this book does not present its definitions and axioms clearly enough. For example I have found out these proofs rely on basic laws of logic, e.g. the proof for the commutative law for sets is just the commutative law for logic, under a new name. That feels really silly. Is there a proof for this law in logic, or is it taken as an axiom?