Proving 1 > 0
How do you know that 1 is greater than 0? What a silly question! By intuition, you might say. Zero means nothing, and one means a unit quantity of something. And surely something is more than nothing. Something even an infant would know. But that’s intuition, or common sense. Intuition is a powerful thing, but it won’t get us very far in mathematics. That’s why we have mathematical rigor  where we use axiomatic systems which have a set of statements that we consider true (axioms), and then use rigid, very mechanical symbolmanipulation rules to generate other statements that are true.
I am currently studying Michael Spivak’s Calculus, both to brush up my calculus knowledge and because it is known for taking a very rigorous approach, meticulously proving theorems that other books often state without proof. The first chapter is on the properties of numbers. While it doesn’t start right from the bottom (it leaves out properties of equality, for example), it presents of 12 properties from which we can derive other interesting truths. If we assume just some basic properties of addition, multiplication and the inequality symbols, and know nothing else about numbers except what our properties and derived facts tell us, lets see what we need to conclude that .
Here are the 12 properties that we will consider true:
Addition Properties

If , and are any numbers,
This property is called the associativity of addition and it provides us a means of adding more than two numbers, by saying that the order in which you perform the individual additions does not matter.

If is any number,
This property states the existence of the number 0, indicates its defining behavior. 0 is called the additive identity because it leaves numbers unchanged when it is added to them. With this property have our first actual, concrete number. The previous property talked of ‘any numbers’ and used letters to denote them but provided no examples.

For every number , there is a number such that
Here we establish a relationship between any (and every) number, its additive inverse that we denote by a minus sign before the number, and 0. For convenience, we can write as .

If and are any numbers, then
Essentially, the result of addition is the same, whatever the order of numbers around the addition symbol. This property is known as the commutativity of addition.
Multiplication Properties

If , and are any numbers,
This is the same as property 1, but for a new operation we call multiplication and denote by . This is called the associativity of multiplication.

If is any number,
Like property 2 does for addition, this property defines a multiplicative identity. Muliply any number with , and you leave the number unchanged. The property also mentions that , to differentiate the new concrete number that we have introduced here from the that we introduced earlier. Without this disclaimer, could have been just another symbol for . There is nothing in the previous properties to prohibit that, because this is the property that defines for the first time.

For every number , there exists a number such that
Similar to property 3, but this one defines a multiplicative inverse. And a very important thing to note, multiplicative inverses are defined for all numbers except .

If and are any numbers,
Like for addition, the order of the numbers you are multiplying does not affect the result of multiplication. This is called the commutativity of multiplication.
At the moment we know a lot about addition and multiplication, but there is not much we can do. For example, we would be helpless if we wanted to prove that for any number a. That is because in the properties we have seen, only appears with addition and what we are trying to prove involves multiplication. So we need something that relates these two operations.
A Property of Both

If , and are any numbers,
This is called the distributive law, and by tying addition and multiplication together it enables us to prove what we want:
Adding to both sides, we get
While we are here, lets prove two other facts we will need later. First, , which is simple:
Adding to both sides, we get
Another fact we can prove is
Adding to both sides, we get
A good set of facts we’ve got proved at the point, but absolutely no way of doing anything with inequalities. Essentially, we know there are at least two numbers, and , but have no notion of ‘greater than’ or ‘smaller than’. The next three properties will change this situation.
Instead of defining inequalities right away, it is more convenient to define as the set of all positve numbers, and state properties 1012 in terms of .
Inequality Properties

If is any number, then one and only one of the following is true:
i.
ii. is in
iii. is inThis is called the Trichotomy Law. It cleanly separates numbers into three categories: , numbers which are in and numbers whose additive inverses are in .

If and are in , then is in .
This is called the closure of positive numbers under addition.

If and are in , then is in .
This is called the closure of positive numbers under multiplication.
So now we have our 12 properties. It is time now to define the symbols , , and .
Hold on, because we are almost there. We need to prove one crucial fact first: that if and , then . In other words, the product of two negative numbers is positive.
We have proved that if and , then . But it is also true that when and , because in that case both and are in and thus is in by Property 12. To say them both in the same sentence, when and or and . In the special case where , when or . By the trichotomy law, that is the same as . And because we have defined as being not equal to , and because , we can finally conclude what we needed to:
P.S.
It took a lot of properties to prove that , but after proving just two more facts, we can proceed to prove inequality relations for all integers.
If , so is in , then is in . Thus, .
If and , then is in and is in . By Property 11, is in . Thus, .
Because we have , by the former of these two facts, , or . Instead of leaving as it is, we can use the wellknown symbol for it, , so . Similarly, , aka and so on. And we can also compare nonconsecutive numbers: becuase and , . Similarly, we can derive inequalities for the negative numbers, and viola!, an order is enforced on all integers.