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