Sergeyev begins by adding a new axiom to the axiom of real numbers, which he calls the infinite unit axiom. This introduces grossone–the infinite unit.

Because it is governed by the other axioms of real numbers, grossone behaves much like one too. So it’s possible to multiply grossone, divide it, add to it and subtract from it, just as is possible with other real numbers.