Before revision: Mathematical logic is the study of formal logic within mathematics.
After revision: ,Mathematical logic is the study of formal logic within mathematics.