Mathematical logic is a field of mathematics that tries to formalize logic. Mathematical logic shows reasoning with symbols. Important topics are the expressive power of formal systems and the deductive power of formal proof systems. Mathematical logic is important for theoretical computer science.