There are a number of applications of logic to ordinary mathematics, with the most coming from (I believe) model theory. One of the easiest and most striking that I know is called Ax’s Theorem. Ax’s Theorem: For all polynomial functions , if is injective, then is surjective. Very rough proof sketch: The field has characteristic […]