Finitely axiomatized