Formalization of Mathematical Theories