Axiom

closed world assumption separation axiom axiom schema of replacement sure-thing principle axiom of union axiom of empty set axiom of empty set parallel postulate continuum hypothesis principle of bivalence principle well-ordering principle independence of irrelevant alternatives axiom of global choice action axiom principle of excluded middle universal causation axiom of reducibility Church's thesis principle of explosion Archimedean property limited principle of omniscience axiom schema of specification Pasch's axiom Hilbert's axioms open-world assumption probability axioms