-
Models of reality

In this chapter it is specified what aspect of reality we will be interested in and how we will go about its exploration.
-
Reasoning

To be able to reason, we need to find the rules which will allow us to eliminate ambiguity. That’s what principles of logic are designed to do and that’s the subject of this chapter.
-
Natural numbers

Natural numbers are used to count indivisible objects e.g. fingers. Let’s take a look how we can handle them in the most effective way.
-
Whole numbers

For natural numbers subtraction doesn’t always makes sense. In this chapter we will investigate how to solve this problem and why it is worthwhile to do so.
-
Rational numbers

Number types described in previous chapters are useful for describing the world of indivisible things. Here we will extend our system to be able to handle divisible objects as well.
-
Real numbers

In the previous chapter it was demonstrated that not every number is rational. It’s time to delve deeper into the nature of irrational.
-
Geometry in one dimension

In one of the previous chapters, a thought experiment was introduced. It involved walking along a straight line, yet it wasn’t specified what a straight line actually is. It’s about time to rectify that.
-
Geometry in two dimensions

In this chapter we will search for a way to numerically describe locations of points in two-dimensional space and study the properties of space itself.
-
Geometry in three dimensions

In the previous chapter we have discovered that it is possible to pinpoint any location on a plane with two numbers. The space we live in is not a flat plane though. It would be nice to have a coordinates system adequate for this situation too.







