Title: Formalization of Logic