Elementary Set Theory: Proof of Distributive Property
109070
Question about the proof of the distributive property for sets
9158
Proving that a propositional theory of any cardinality has an independent set of axioms
75007
How can I prove this relation between the elementary set theory and the elementary logic?
74734
(Enderton set theory) Hartog's theorem and cardinal numbers
99464
Proof Concerning Indexed family of Sets and Intervals
118189
Proving the pairing axiom from the rest of ZF
52966
Rings, ideals and units-proof
52451
Ordered Triples and Set Theory
77791
Proving an inclusion related to algebraic sets and interpreting it
39708
Proving $(A\le B)\vee (B\le A)$ for sets $A$ and $B$
136755
Direct proof of empty set being subset of every set
146062
A "Cantor-Schroder-Bernstein" theorem for partially-ordered-sets
6410
Prove that $(ma, mb) = |m|(a, b)\ $ [GCD & LCM Distributive Law]
61747
Proof of exchange principle in set theory
28391
Prove the compactness of a set B
46423
Distributivity of quantifiers over logical connectives
6113
Proof of Strong principle of Induction (T. Tao Analysis I)