Question: what is mathematical in logic?
Answer: Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. ... Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability.