In this paper the sequential variant of the additive arithmetic with equality and the non-logical symbols o, t, P, + , = is investigated and the proovable properties of the additional function nit is ascertained.
This work is licensed under a Creative Commons Attribution 4.0 International License.