Ordered SetsEdit
An ordered set is a group of objects with an unambiguous sense of what is bigger. Instead of giving an abstract definition of ordering we will begin with some examples of ordered sets and explore what basic assumptions are necessary to flesh them out. This approach, though not as rigorous, should be more approachable. Our first and most important set is the natural numbers.
Natural NumbersEdit
The basic set of analysis is the natural numbers (Some authors take — when we wish to refer to this set, we use ). The natural numbers are all you need for counting. This set is defined by its properties. The first property of the set of natural numbers is that it has an equivalence relation meaning the following axioms are satisfied:
 Reflexivity
 For all
 Symmetry
 For all if and only if ;
 Transitivity
 For all if and , then ;
These terse mathematical statements can be written in a less rigorous way. The first statement simply states that every natural number is equal to itself. The second states that the statement of equality is true regardless of the order you say it. The last statement says that when two natural numbers are equal and one of them equals something else they all three must be equal. These are the simple assumptions we make when we loosely talk about equality. This short list gives us a way to check if a proposed equality satisfies our notions of what it means for two things to be equal. Associated with this equivalence relation is an ordering meaning these additional axioms are satisfied:
 Trichotomy
 For all , one and only one of the following hold:
 The notation means or , and the notation means or .
 For all , one and only one of the following hold:
 Transitivity of < and >.
 For all , if and , then .
 For all , if and , then .
Trichotomy means that any two natural numbers are either equal or the bigger number can be uniquely chosen. Transitivity says that, if there is a third number that is bigger than the biggest of our first two, then it is bigger than the smaller one as well. With this we now have a concise definition of what it means for our numbers to have an order. Finally the natural numbers have an associated operation called addition. The set and the operation of addition satisfy the following axioms:
 Closure
 For all .
 Commutativity
 For all .
 Associativity
 For all .
 Meaning we can unambiguously write
 Compatibility with Ordering
 For all
Meaning if we add two natural numbers the result is a natural number. The order in which we add the numbers is not important and if I add two natural numbers the sum is bigger than either of the ones I started with. This is our notion of addition of positive numbers simplified to the basic assumptions. There is only one more assumption needed to bring the natural numbers as we know them into a well defined existence, the set of natural numbers is not empty. We can name the smallest element of the number 1.
 There exists a number so that for all
This statement simply says one exists and is less than or equal to any other natural number. With these assumptions we can go on and derive all the properties of .
MultiplicationEdit
On the natural numbers we can define a second operator, multiplication . The concept of multiplication on is simply a shorthand for repeated addition. Here are the axioms of multiplication.
 Closure
 For all .
 Identity
 For all .
 Commutativity
 For all .
 Associativity
 For all ,
 meaning we may unambiguously write .
 Distributivity
 For all .
 Compatibility with ordering
 For all .
Meaning natural numbers when multiplied give natural numbers. Any number times 1 gives itself. The order and the grouping is not important for multiplication. The last two give how multiplication behaves with respect to addition and the ordering on . Always writing for multiplication is tedious so we abbreviate it as . Furthermore we abbreviate a repeated product of a particular number with a superscript counting the number of times the number is repeated. For example,
Peano AxiomsEdit
An alternate derivation of the set of natural numbers can be characterized by a few axioms called the Peano or Dedekind–Peano axioms. A slight modification of the definitions of addition and multiplication in the Peano axioms would construct a different set where the element "0" (soon to be described) can actually be some natural number different from 0. These axioms can thus serve as the definition of the set of natural numbers.

 There exists an element called "0" within the set of natural numbers.

 Every natural number has a successor which is also a natural number.

 There is no natural number whose successor is 0.

 The successor function is onetoone.

 Mathematical induction: if 0 is within the set, and n being within the set implies that its successor is also within the set, then all natural numbers are within the set.
A natural number can be defined as an element of the set of natural numbers. These axioms can be used to prove very important basic theorems about basic operations and predicates, which are addition, multiplication, and order. Addition and multiplication are very important binary operators, and ordering is a very important binary predicate. They can be defined as follows:
 Ordering
 The successor of a number y is greater than the number y.
 If a number x is greater than a number y then the successor of x is greater than y.
 Addition
 The sum of any number and zero returns the number.
 The sum of a number x and the successor of a number y is the successor of the sum of x and y.
 Multiplication
 The product of any number and zero is zero.
 The product of a number x and the successor of a number y is the sum of x and the product of x and y.
It is not necessary to know these definitions to know what addition, multiplication, and ordering mean. However, these definitions show how it is possible to construct addition, multiplication, and ordering from the Peano axioms.
Alternative constructions of addition and multiplicationEdit
The basic element does not necessarily have to be an identity for addition. Indeed, if the definitions of addition and multiplication were defined differently then the basic element is commonly written "1".

 1 is an element of the set.

 For any natural number x the sum of x and 1 is also a natural number.

 The sum of any natural number x and 1 is different from x.

 Adding one is a onetoone function.

 Mathematical induction: If 1 is an element of a set A, where for any element x of A the sum of x and 1 is also in the set, then all the natural numbers are in the set A.
Zermelo Fraenkel AxiomsEdit
The natural numbers can also be constructed from sets. This is not a necessary step, and may be skipped, but it shows that set theory provides a sufficient basis for explaining the natural numbers. The Zermelo Fraenkel axioms provide sufficient conditions for a set which satisfies the Peano axioms.
 Let 0 be associated with the empty set .
 Let the set
 The successor of a natural number n is the union of the set associated with n and the set containing n. Thus, each natural number is a set containing its predecessors.
 For example, let 0 := , then 1 := = {0}
 = {0}∪{1} = {0} ∪ {{0}} = {0, {0}} = and hence {0,1}, 3 is {0,1,2}, and so on.

 There is a set called containing (the null set) and such that for any element x, the set is also within the set. This axiom is called the axiom of infinity and the set so constructed is identified with the natural numbers.
This construction of the natural numbers obviously satisfies the first three Peano axioms. The fact that S_{x}=S_{y}→x=y holds can be seen easily by the fact that . The fifth Peano axiom holds because if , then this set would be the natural numbers, and so the natural numbers would be a trivial subset of A.
IntegersEdit
If we extend by adding we can get the notion of an identity for addition, given by:
stating that there is a number , which, when added to a natural number, gives that number back again. Here we have a choice to make: where in our ordering does fit? The usual choice is and is the one we will make here, though it is worth pointing out the curious nature of this choice. Having defined zero, the possibility of an inverse of arises. We denote the set of inverses as , and the set satisfies the following axiom:
Combining all three we obtain the integers
 .
The integers allow us to keep track of debts as well as count things, in other words to perform accounting. If you assume that the axioms for addition hold where the well ordering assumes takes the form
and that the identity, closure and distributivity of multiplication hold for the integers then the multiplication operation can also be expanded to include all the integers
They can be constructed from the natural numbers easily. They can each be equivalence classes of ordered pairs (a,b) where a and b are both natural numbers. Then one can say that (a,b) and (c,d) are equal when a+d=b+c, the sum (a,b)+(c,d)=(a+c,b+d) and the product (a,b)(c,d)=(ac+bd,ad+bc) where the definitions of the sum and product of natural numbers are used. There is an additive identity element in the form (a,a) because (a,a)+(b,c)=(a+b,a+c) which is equivalent to (b,c) because a+b+c=a+b+c. All such elements of the form (a,a) are obviously equivalent. All elements (a,b) have the additive inverse (b,a) because (a,b)+(b,a)=(a+b,a+b). The best way to think of these ordered pairs (a,b) is to think of them as ab. Thus, (a,a) can be thought of as "0."
Absolute ValueEdit
Typically, we think of the integers as extending to positive and negative infinity. Since this geometric notion is so fundamental to our understanding, we should like to talk about geometric properties. In particular, we need to know what is meant by the distance between two integers. To this end, we define the symbol as the function that gives the distance from to zero by mapping onto their respective inverses in and mapping zero onto itself.
We can now define the distance between two integers, which we refer to as points in any geometric context, by taking the absolute value of their difference: . This distance function satisfies some nice, geometric properties:
 Positivity
 and is equal to 0 iff .
 Symmetry
 Triangle Inequality
Pay special attention to the triangle inequality, as it will be used very often in later chapters.
In general, any set with a distance function satisfying these properties is called a metric space. It is easy to show that the integers form a metric space under the metric d:
 Positivity
 If , then .
 If , then .
 Symmetry
 If , then , so .
 If , then , so .
 Triangle Inequality
 If , then .
 If , then .
 This gives us and .
 Adding, we see that .
 If , then .
 If , then .
 Thus in all cases .
 Replacing with and with yields .
Another fundamental property of the absolute value is that it is multiplicative:
The proof is left as an exercise. As above, it is simply a matter of checking all the cases.