Z notation
Axioms of set theory
Function
Zermelo–Fraenkel set theory
First-order logic
Constructible universe
Axiom of choice
Axiom
Universal quantification
Mathematical logic
Logic
Mathematics