Basic Language of Mathematics

The book is intended to provide a comprehensive and rigorous account of the concepts of set, mapping, family, order, number (both natural and real), as well as such distinct procedures as proof by induction and recursive definition, and the interaction between these ideas; with attempts at including insightful notes on historic and cultural settings and information on alternative presentations. The work ends with an excursion on infinite sets, principally a discussion of the mathematics of Axiom of Choice and often very useful equivalent statements.