axiomaticsettheory axiomofchoiceandrelatedpropositions borelsets categories(mathematics) cocycles coloringofgraphsandhypergraphs combinatorics consistencyandindependenceresults descriptivesettheory designsandconfigurations diophantineapproximation dynamicalsystemsandergodictheory equivalencerelations(settheory) ergodicequivalencerelations ergodictheory geometriclattices graphtheory independence(mathematics) irrationality;linearindependenceoverafield mathematicallogicandfoundations matroids numbertheory orbitequivalence otheraspectsofforcingandboolean-valuedmodels settheory toposes transcendence(generaltheory) transcendentalnumbertheory