Fundamentals of Abstract Analysis
In this book, the authors propose to develop a portion of mathematics from the beginning. They show that the theorems of abstract mathematics are true entirely by virtue of the meanings of the words and symbols involved.