ZFC and axiom of power set
31389
consistency of ZF\{Power Set axiom}
101453
Existence of a Boolean algebra with a unique ultrafilter in ZF
111723
Can it be proven in $\sf ZF^{\neg\infty}$ that the sets $x_n=\{x_{n+1}\}$ do not exist?
44259
Heine-Borel Theorem ($\mathbb{R}^k$) (in ZF)
125683
Power set of a finite set is finite proof, no cardinality of power set
115675
Strange consequences of Axiom of Choice in Zermelo set theory
24050
Characterization of the Closure of a Set
139155
What does 2 to the power x mean in set theory
33563
Is the axiom of choice used in the proof that every open set is the union of basis elements (Mukres, Lemma 13.1)
138897
help with some Hilbert style proofs in a propositional logic axiom system.
144735
Possible cardinality of power sets
73415
The reason why the existence of inaccessible cardinals cannot be proven in ZFC
87451
Construction of matrices under ZFC axioms
69337
Zorn's Lemma And Axiom of Choice
4383
Finitely generated monoids - how to show that there is not first order set axiomatizing them.
59820
ZF Extensionality axiom
32081
The dual version of trichotomy of cardinality without AC