Numbers are ideas we use to model quantities and establish comparisons between them.
For example, I can count the books in my office and tell you that there are books. Acknowledging this information, you can count the books in your home and tell who has more books, you or me. In this sense, numbers are being used as intermediates, since comparing the books directly would be unfeasible.
1 Natural Numbers
The idea of counting gives rise to the so called natural numbers, which are denoted in the mathematical literature as . Historically speaking, the first formal description of the natural numbers was given by the Italian mathematician Giuseppe Peano, and that formal description is somewhat like this:
There exists a smallest number, zero, denoted 0.
From any number, you can always obtain the next number, called its successor.
If a statement about natural numbers is true for 0, and if that statement being true for implies that it is true for the successor of , then it is true for all numbers.
These ideas are at the very basis of our numerical system, and they allow us to produce proofs about statements. Consult the article about proofs involving naturals if you are curious about how these principles are used to give rise to the theory of the natural numbers. For now, we shall be satisfied with the knowledge of the practical aspects.
And just before we explore more about the naturals, it is worth talking about the symbols we use to write numbers down, known as the digits.
2 Base 10 notation
Our numerical systems rely on the same ten digits to write any number down (except those that we write in symbolic form, like ). We count the first numbers using a different symbol for each one:
However, from the next number onward, we carry a one to the place value to the left in order to indicate that we have already used each digit once: . We would carry another , but there is a in there already, so we add them, meaning that the leftmost digit is a now: . These spaces into which we write the digits down are called place values, and they receive their names according to what power of they represent: the ones, the tens, the hundreds, and so on.
This way, we can write down any natural that we can reach from .
3 Natural numbers and their operations
The set of the natural numbers, denoted , is that containing the numbers that represent whole quantities, be that the empty amount, which is , or some amount we reach by counting from .
3.1 Addition
That way, we say that to add two naturals is to obtain the successor of times. For example, to do is to do five and one and one and one and one. The definition of multiplication is very similar.
Of course, it becomes very boring to add like this if the numbers are somewhat big. For example, check this passage from Alice Through the Looking Glass:
“Can you do Addition?”, the White Queen asked. “What’s one and one and one and one and one and one and one and one and one and one?”
“I don’t know,” said Alice. “I lost count.”
“She can’n’t do Addition,” the Red Queen interrupted. […]

A little context about the passage: Alice was supposed to prove her abilities to the Red Queen and to the White Queen, and so she is asked that question about addition. Now, do you really think that Alice does not know addition for not being able to keep track of the many “and one and one…” that the White Queen asks? I do not think so. But it does remind us of the simplicity of what it is to add: to do a number and one and one and one and so on.
However, we should not rely on the literal definition in order to carry out the calculation. Instead, we must rely on the place values that we use in order to write the very addends down. You must know the method already, but I will explain: when adding for example, you must stack them up, tens place on top of tens place, ones on top of ones:
Then, you must look at the rightmost numbers from the addends and add them: . The number you will obtain is at most a two-digit number. You will write the ones place of the sum (of , in this case, so ) below the line, aligned with respect to the place value:
The tens place of the sum (which was another ) you will carry, which means to write it on top of the upper addend of the next place value:
Now you will repeat the process for the next place value, but adding the carry at the end: , and . We write the below, but there is nowhere to carry the . In that case, you can simply write the carry to the left, in the next place value:
The operation of addition has a few fundamental properties. For any natural numbers
Above, and anywhere we use letters as if they were numbers, they are called variables. You should think of variables as placeholders for unknown or generic numbers. In the properties listed above, for example, each of and can be replaced by any natural number, hence the use of letters.
An example that clarifies why we need to be aware of these properties: add . First, it does not matter if I do first or or . Also, since everything we have is addition, the order is irrelevant.
Therefore, we can reorganize these numbers in a more convenient way that allows us to easily add them mentally:
Of course, I had to literally write the numbers above for you to see, so I did not do it mentally, but I had to show to you how to organize your thoughts in order to do it mentally.
Also, take notice that when we write a lot of numbers with a lot of operations, we may mean that the calculations should be carried out in a specific order. So far, we have only talked about one operation, and this operation is associative and commutative, which basically means that parentheses (and any other grouping symbol, like brakets) are irrelevant; also, you may operate with numbers that are anywhere in the expression. More will be said about the order of operations later on.
There is a pattern to perceive in these exercises. If it did not become clear with the last one, then the ones below should be helpful. You may use a calculator if you want.
The previous exercises hinted at the twin operation to addition: subtraction.
3.2 Subtraction
If are two naturals such that is greater than or equal to , to subtract from , notation , is to obtain a natural such that .
For example, , because . However, was not defined, since our definition says that the first number should be greater than or equal to the second.
The previous exercise revealed to us that, differently from addition, subtraction is not commutative. So, it makes sense to give each element involved in a subtraction its proper name: the first operand is the minuend, and the second is the subtrahend. For example, in the subtraction , is the minuend, and is the subtrahend. These names are useful if you want to quickly refer to one of them, but you may lose on clarity, since most people forget which is which.
Also, the number we obtain after subtracting is called the difference of the minuend and the subtrahend, in this order. So, when we say “the difference of 8 and 3”, we mean , which is . In some contexts, we assume to do in the order that would make sense. For example, I am years old. So, if I ask you to calculate the differente of our ages, you would do the greater number minus the smaller number.
Now, on to a practical aspect of subtraction of larger numbers: stacking them. If you wish to subtract two given numbers, you will write them in the same way that we wrote addition. For example, you can write as
However, clearly we cannot subtract the rightmost digits: is not a valid subtraction of naturals. So, again, we take advantage of the place values: we will take one from the tens place, which is worth ten times as much in the ones place. Therefore, we will make the in the tens a 0, and the in the ones we will make a :
Being able to subtract now, write the difference of the rightmost numbers:
Again we will borrow from the left place value, since is undefined. Take notice that it is not necessary to put a slash through the carry, since you can attach the digit to the , yielding a clearer notation. Compare the two writings below:
versus
Then, carry out the rest of the calculations just like before:
A trickier case is when we have some zeros in the minuend. For example, if we do , we can write
The first step is the same as before:
Now, we cannot do , but we cannot borrow from the in the hundreds either!
But there is a way: we borrow a from the in the ten-thousands place and make the in the thousands become a :
And now we can borrow from that , making it a , so that we can make the in the hundreds become a :
Finally, we borrow from that in the hundreds, similar to what we did above:
And finally, :
However, it is clearly implied by the method that if we are to borrow from a place value that is far to the left and there are only zeroes in between, then those zeros become nines and we put that that we need, yielding a clearer notation:
And we can finish just like before:
Therefore, .
Here goes a video exemplifying the technique:
Now, we shall see a mathematical result about subtraction that allows us to make some of them become easier.
If is defined and you subtract the same amount from and from , then the difference of the new numbers is still .
For example, will require quite a bit of carrying. However, it is easy to take 1 from each number, and we get , which is much simpler to carry out.
Before we talk about multiplication and division, I have a theoretical question and a few comments to make about subtraction:
Since subtraction is not associative, we must agree on the order that we simplify it when we have an expression with more than one subtraction operation and no grouping symbols, like . We define that we must solve from left to right. So, writing is defined to be the same as . The convention is to do the same think with addition, but since addition is associative, this is not so relevant in that case.
3.3 Multiplication
We have already defined what multiplication is: simply put, it is repeated addition. This operation is denoted in a few different ways. The notation we learn first is the cross notation, . However, there are two other ways that we will prefer to use in a higher level: the dot and attaching expressions in grouping symbols.
The dot is simple to use. For example, means times , which gives 20.
The other notation, the one with grouping symbols, basically requires you to write down two expressions attached to one another with at least one of them wrapped in grouping symbols. Below are all ways to represent the product of and :
The operands of multiplication are called factors, and the result of multiplying the factors is their product. For example, the product of and is . Two factors of are and . When two factors of a number multiply to that number, we say that they form a factor pair of such number.
And since we are going to start to write expressions with multiple operations going on, we define that multiplication has priority over addition and subtraction.
The properties of multiplication are
We also define that a number times is .
Also, there is a very useful property that relates multiplication and addition, the distributive property:
This property will allow us to multiply bigger numbers easily. In order to see why, we need to learn how to multiply by a power of 10.
Powers, exponents and powers of 10
We need to define a new operation in order to be able to write simply about what follows.
Given two natural numbers and , we define that to the power of is
where we have factors of .
We also define that .
You can also think about this definition recursively: and, for any number larger than , .
If , then we can say generically that is a power of . For example, is a power of because .
When we talk about base notation — and it generalizes to other bases as well — we are talking about expressing the number using ten different symbols (the digits) as our base and then combining different powers of in order to represent the number.
For example, the number represents , which is the same as .
Now the key point of this section: when we write a digit followed by zeros, that can be expressed as the product of the digit by a power of ten.
For example, . And so on.
is simply a followed by zeros. is followed by zeros.
How to carry out multiplication using the distributive property
So, given two -digit numbers, for example, here goes a way to multiply them using the distributive property. Bear in mind that what follows is an explanation for the method of stacking the numbers, which maybe you already know. It does not mean that we will carry out multiplication in this way. There is a video below the explanation in case you want to skip to how it wraps up, but the reason that the stacking method works is presented below via an example.
In the last passage, we mulplied the outer factor, by each one of the addends, that is and .
can be developed using the same method:
In the first step, I used distributivity and commuativity at the same time. More explicitly, .
Similarly,
Back to now:
Watch this video to see how it all wraps up neatly:
3.4 Division
Division is (sort of an) inverse operation to multiplication. I say “sort of” because most natural numbers do not have multiplicative inverses. For example, what natural number can you multiply by in order to obtain ? None.
However, it is still possible to count as many times as possible a number into another. Using the example above, we could say that can be counted at most time into .
This means that to divide by is to find the greatest natural number such that . The symbol should be read as is less than or equal to. Back to the previous example, we can say that because is the greatest number such that . Notice that which is less than 5, but which is greater.
The remainder is the difference . So remainder , because . This is commonly written as .
To divide a dividend by a non-zero divisor is to obtain the greatest , called the quotient, such that . The difference is called the remainder of the division.
Requiring the divisor to be different than makes division have meaning. Else, allowing for something like to be asked would be the same as asking how many times at most can you take 0 from 4? That question does not have an answer, because there is no such greatest number of times.
Also, it is very important to keep in mind that quotient does not mean answer. For example, assume that today is Wednesday. What day of the week will it be in 7 days?
If you count from today, tomorrow is day in the counting, so Thursday is , and Friday is and so on. Therefore, day occurs on Wednesday.
In all of these problems, the remainder was the relevant part of the division, because it told us how many days from Wednesday the day we were looking for was.
Here goes one more challenge:
3.5 Long division
Just like we did before for the other operations, we can write division down in a special way relying on the place values of the numbers involved in order to make it simple.
The logic relies on finding how many times the divisor goes into the lefttmost digit of the dividend first, obtaining then a remainder. That remainder pertains in that place value, so it is worth times as much in the place value to the right of it.
For example, suppose that we want to find the quotient and the remainder in . Starting from the hundreds place, goes twice into , leaving a remainder of . So is the digit we write in the hundreds place of the quotient, and the remainder is hundreds.
Now, when we go to the next place value, the remainder we had is worth times as much, so we will have the that was already in the tens place plus , so . goes times into , so an is the digit we write in the tens place of the quotient. Remainder .
On to the ones now: goes time into , so is the ones place of the quotient.
Hence, . Watch the following video to see the same example written in long division form.
When the divisor has more digits, I like to write the first multiples of the divisor to the side as I write the division down. Check this video to see what I mean:
4 Key ideas
Here are the key ideas about natural numbers:
4.1 Numbers as models
Numbers serve as representations of quantities and allow us to compare them indirectly when direct comparison is not possible.
4.2 Natural Numbers
The natural numbers arise from counting, beginning with zero. Their structure is formalized by Peano’s axioms, which establish the existence of zero, the successor function, and the principle of induction.
4.3 Decimal Notation
Our number system is based on ten digits. Place value notation enables us to represent any natural number by combining these digits according to powers of ten.
4.4 Addition
Addition is defined through repeated succession. It is commutative and associative, with zero as its identity element. In practice, addition is carried out using place values and carrying.
4.5 Subtraction
Subtraction is defined as finding a number that, when added, yields the minuend. It is neither commutative nor associative. Borrowing is required when digits in a given place are insufficient.
4.6 Multiplication
Multiplication is defined as repeated addition. It is commutative, associative, and distributive over addition, with one as its identity element. Powers and exponents simplify repeated multiplication, and multiplication by powers of ten connects directly to place value notation.
4.7 Division
Division is defined as finding the greatest quotient such that the divisor multiplied by it does not exceed the dividend. It produces both a quotient and a remainder. Division by zero is undefined. Long division relies on place value to carry out the process systematically.