- axiomatizable logic
- axiomatization
- axiomatized
- axiomatized calculus
- axiomatized class
- axiomatized theory
- axiom A vector field
- axiom D
- axiom of abstraction
- axiom of accessibility
- axiom of choice
- axiom of closure
- axiom of complete induction
- axiom of completeness
- axiom of comprehension
- axiom of congruence
- axiom of connection
- axiom of constructibility
- axiom of constructivity
- axiom of continuity
- axiom of countability
- axiom of denumerability
- axiom of dependent choice
- axiom of determinacy
- axiom of domination