This is a thorough exploration of set theory and arithmetic; that is how to look at mathematics from set theory (with natural numbers, rational numbers), and how to look at other forms of indexing including cardinal numbers and so on.
Really presented this way, you get a sense of the principles in question, that a large part of the theorems are just ways of trying to find consistency in indexing (and the properties of that set) when one isn't given numbers in their understood/common indexical form, but rather as members of an abstract collection.
Abian presents this as a series of axioms with consequences, arranged in chapters by content. A good solid introduction.