Multiple order axioms independence
61489
Is there a statement whose undecidability is undecidable?
12539
Set Theory: Equivalency of Axiom of Choice and Choice Function
40937
Is the set of partial order relations over $ \mathbb{N}$ countable?
69337
Zorn's Lemma And Axiom of Choice
91861
Propositional Logic: p → q, ¬p → r, ¬q → ¬r ⊢ q
19924
Uncountable ordinals without power set axiom
146664
The union of two linearly independent subsets
29755
Power set equivalency of Axiom of Choice
72391
linear dependence proof using subsets
54461
Showing independence of random variables
66636
Problems with introducing ordered pairs axiomatically
101741
Selection of logical connectives {¬,∨,∧,⇒,⇔} in set theory?
53270
Intuition/Real-life Examples: Pairwise Independence vs (Mutual) Independence
114550
Well-ordering theorem and second-order logic
118189
Proving the pairing axiom from the rest of ZF
104771
Dedekind's cut and axioms
52451
Ordered Triples and Set Theory