Forcing (Model theory) Set theory Axiomatic set theory Borel sets Descriptive set theory Equivalence relations (Set theory) Independence (Mathematics) Axiom of choice and related propositions Coloring of graphs and hypergraphs Combinatorics Combinatorics -- Designs and configurations -- Matroids, geometric lattices Combinatorics -- Graph theory -- Coloring of graphs and hypergraphs Consistency and independence results Designs and configurations Diophantine approximation, transcendental number theory Dynamical systems and ergodic theory Dynamical systems and ergodic theory -- Ergodic theory -- Orbit equivalence, cocycles, ergodic equivalence relations Ensembles boréliens Ergodic theory Forcing (Théorie des modèles) Graph theory Indépendance (Mathématiques) Irrationality; linear independence over a field Mathematical logic and foundations Mathematical logic and foundations -- Set theory -- Axiom of choice and related propositions Mathematical logic and foundations -- Set theory -- Consistency and independence results Mathematical logic and foundations -- Set theory -- Descriptive set theory Mathematical logic and foundations -- Set theory -- Other aspects of forcing and Boolean-valued models Matroids, geometric lattices Number theory