Title: Notes on the formalization of logic