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.
Can't draw a picture of a mathematical manuscript? I don't know what to write. It doesn't matter. The following are the pictures and information about the s