Adjective
axiomatizable (not comparable)
That can be axiomatized.
Because at least one such infinite schema is required (ZFC is not finitely axiomatizable), this shows that the axiom schema of replacement can stand as the only infinite axiom schema in ZFC if desired. Source: Internet
However one can ask if some recursively axiomatizable extension of it is complete and consistent. Source: Internet
Moreover, any axiomatizable and complete theory is decidable. Source: Internet