Title: Mathematical Logic and Formalized Theories