Creating an equinumerous disjoint set without axiom of choice
61747
Proof of exchange principle in set theory
66038
How can I efficiently generate a Set from a List structure?
81509
The cardinality of a countable union of countable sets, without the axiom of choice
47639
Uncountable Cartesian product of closed interval
55661
Existence of two disjoint closed sets with zero infimal distance
47697
Russell's paradox: a set cannot contain its own powerset
93952
Show that $X$ can be represented as a union of disjoint equivalence classes
145214
Showing the power set is equinumerous to ${}^X2$
77548
Given an arbitrary infinite set $S$, how to construct an injection $\mathbb{N} \to S$ with the Axiom of Choice?
32741
Idempotents in a ring without unity (rng) and no zero divisors.
90826
Constructing a subset not in $\mathcal{B}(\mathbb{R})$ explicitly
19924
Uncountable ordinals without power set axiom
113953
Circular permutations with indistinguishable objects
20252
The Axiom of Choice and the Cartesian Product.
132692
Nonempty set mapped to $\emptyset$ and vice-versa
127575
Prove that Open Sets in $\mathbb{R}$ are The Disjoint Union of Open Intervals Without the Axioms of Choice
157490
Statements equivalent to the Axiom of Choice