31. Han said : " My works are based on the concept of mathematical logic . 32. Approaches to a more formal definition of inductive bias are based on mathematical logic . 33. In mathematical logic , formal theories are studied as mathematical objects. 34. At its core, mathematical logic deals with mathematical concepts expressed using formal logical systems. 35. This mathematician was inspired by the foundations of mathematics, especially mathematical logic and topology. 36. When Peano formulated his axioms, the language of mathematical logic was in its infancy. 37. He completed his Reader and ultimately Professor of Mathematical Logic from 1967 to 1970. 38. In 1992 the Department of Mathematical Logic was reopened and Vopnka became its head. 39. Soundness is among the most fundamental properties of mathematical logic . 40. Some of these authors made claims that these systems were based on mathematical logic .
