Unfurling the codex…
A source-cited reference to sets and logic
Set (mathematics) · Set theory · Union (set theory) · Subset · Zermelo–Fraenkel set theory · Sheffer stroke · Signature (logic) · Structure (mathematical logic) · Tarski's axioms · Tautology (logic) · Theory (mathematical logic) · Type (model theory) · Type theory · Ultraproduct · Universal quantification · Universe (mathematics) · Well-formed formula · Von Neumann universe · Zorn's lemma · Transfinite induction · Transfinite number · Well-ordering theorem · Skolem's paradox · Skolem normal form · all 32 →