Extended data:
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. 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.
Symbolic logic and mathematical logic in formal logic still belong to the category of intellectual logic in essence. ? [1-2] 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. 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.
Reference link: Baidu Encyclopedia-Mathematical Logic