1, mathematical logic is similar to mathematical logic, also known as symbolic logic and theoretical logic. It is both a branch of mathematics and a branch of logic. 2. 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. 3. Mathematical logic is an indispensable part of basic mathematics. Although there is the word logic in the name, it does not belong to the category of pure logic.