non-logical axioms,
n.
axioms valid only in a given
structure
for a
theory
. Compare
logical axiom
.
