The history of the interplay between modern logic and mathematics

Traditionally, logic was regarded as a theory of correct reasoning. In this sense, logicians did not attempt to describe reasoning…