Mathematical logic is also called symbolic logic and theoretical logic. It is both a branch of mathematics and a branch of logic. It is a subject that studies logic or formal logic by mathematical methods. Its research object is the formal system after symbolizing the two intuitive concepts of proof and calculation.

Logic is a discipline to explore, expound and establish effective reasoning principles, which was first founded by Aristotle, an ancient Greek scholar. Mathematical logic is a subject that uses mathematical methods to study reasoning, proof and other issues.