The successor function, denoted S(n) = n + 1, is a foundational concept in arithmetic and logic, defining the next…
A formal system of arithmetic using axioms by Giuseppe Peano, it provides a foundational basis for the theory of natural…