Definition of "axiomatizable"

axiomatizable