Finite axiomatization
= Finite axiomatization
A <finite axiomatization> of a class of structures is a finite set of <first-order sentences> whose <first-order models> are exactly that class. The existence of such a set is <finite axiomatizability>.