While the concept of number doesn't completely cover the idea of mathematics, it has been an important component. Nearly everyone today learns something about numbers and a bit about math itself, but few people truly understand the fundamental idea of mathematics. So, what is Mathematics? Really? Here we hope to shed some light on that question.
We, you and I, will use the development of number systems to try to get a handle on what it is that mathematicians do. They don't memorize facts like you did at age 10, or so. They don't just prove theorems as you may have done in secondary school or university. It is actually quite different. It may not be involved with number at all. But they do prove theorems: statements that can be derived logically from simpler known truths. And here you will have an introduction to theorem proving if you haven't seen it previously. But that isn't the essence of math.
Some of what mathematicians do is deadly boring, but necessary. Some of it is wildly exciting. The boring stuff comes when you need to verify some rules and prove theorems using already–understood techniques. The exciting stuff happens when you find a question that no one has answered sufficiently and begin to explore it. It is a search for mathematical truth that may begin in a very dark place. None of your existing tools shed any light on the topic you'd like to explore. Often frustrating. Occasionally exhilarating. Historically it has even been controversial, inviting ridicule from prominent mathematicians of the day, and only later becoming generally accepted.
The development we will use here is primarily a product of 19th and 20th century thought. Prior to that, the tools used by mathematicians, logicians, and philosophers were more informal. We will trace the development from the counting numbers, the Natural Numbers, through the Complex Numbers that are needed to do the engineering used in your smartphone. We will use a sequence of extensions starting with an axiomatic base supplemented by definitions of interesting things such as operations like addition and relations such as less than. We will stick pretty close to this path, but will occasionally point to additional topics that depend on or are related to the ideas of the main thread.
Some of it will be a bit tedious, since many of the rules we use are proven with similar techniques. Once you have proven six theorems and see that there are six more to go with the same sort of calculations or arguments, it gets a bit boring. Mistakes are often made in such situations. But then something new comes along to refresh the game. And don't get the idea that mathematics is finished in any sense. It is an open and expanding world of potential study.
Mathematics is central to a classical education. In the Medieval university there were seven basic subjects, all taught in Latin: Arithmetic, Geometry, Astronomy, Music Theory, Grammar, Logic, and Rhetoric. Liberal Arts colleges such as Loyola try to give students a grounding in most of these as well as more modern ideas. I studied all but Astronomy as an undergraduate, though not all to the same depth. More advanced scholars in the university of year 1200 or 1300 would study Moral Philosophy, Metaphysics, and Physics. I too studied these in the 20th century. But it was the rigorous way of thinking provided by the basic subjects, especially maths, that enabled the later studies.
This book has ideas drawn largely from arithmetic and logic, but will provide excursions to other areas of math. It does not, however, give a complete treatment of any single topic. We will build on ideas extablished early to develop later topics and so will focus on essentials needed for that development. Along the way we will leave much for you to explore. Think of it as a long hallway with many, many, rooms off to the side. We will spend time in some of these rooms, but will only glimpse a few of the others. Some of those rooms lead to other hallways, each with additional rooms. You will be able to explore those elsewhere.
I should note at the start that the ideas presented here about the nature of mathematics are personal. Others may disagree. Perhaps my view is too narrow. Perhaps it is too specialized. But if it gives you a small window into this vast world then it will be useful for both of us. I hope you enjoy the view.