by M4t_6_onL | Jul 10, 2023 | Logic, Number theory, Set theory

Natural arithmetic is the science of natural numbers: it is based on addition, multiplication, natural order and divisibility. Now, all these operations and relations are defined on the basis of the single successor function, whose properties are brought together in...