Fit, Finite, and Universal Axiomatization of Theories