Equi-consistency of inaccessible cardinals
73415
The reason why the existence of inaccessible cardinals cannot be proven in ZFC
147874
Why does the existence of independent statements not prove consistency?
108957
Cardinality of a totally ordered union
149673
Cardinality of an infinite union of finite sets
31389
consistency of ZF\{Power Set axiom}
29755
Power set equivalency of Axiom of Choice
139278
If $\Gamma$ is satisfiable then $\Gamma$ is consistent
9158
Proving that a propositional theory of any cardinality has an independent set of axioms
12404
Union of definable sets
127233
Cardinality of order types in $\mathbb{N}$
139826
arbitrary large finite sums of an uncountable set.
105221
Confusion about Satisfiability by a denumerable sequence.
153652
Countable ordinals are embeddable in the rationals $\Bbb Q$ -- proofs and their use of AC
19924
Uncountable ordinals without power set axiom
150605
Existence of a regular uncountable $\aleph_{\alpha}$ without $\mathsf{AC}$
132537
Class of sets of a given infinite cardinality
108922
Cardinality and infinite sets: naturals, integers, rationals, bijections