Category: Uncategorized

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

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 are used to count indivisible objects e.g. fingers. Let’s take a look how we can handle them in the most effective way.

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.

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.

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

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.

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