# Language of Mathematics 1 (Logic)

Chapter

First Online:

## Abstract

The principal aim of this small and brief chapter is to provide a logical foundation to sound mathematical reasoning and also to understand adequately the notion of a mathematical proof. Indeed, the incidence of paradoxes (Russell’s and Cantor’s paradoxes) during the turn of the nineteenth century led to a strong desire among the mathematicians to have a rigorous foundation to all disciplines in mathematics. In logic, the interest is in the form rather than the content of the statements.

## Copyright information

© Springer Nature Singapore Pte Ltd. 2017