Axiomatizable class
Redirect to:
Elementary class