The successor function, denoted S(n) = n + 1, is a foundational…
A formal system of arithmetic using axioms by Giuseppe Peano, it provides…
Sign in to your account
Remember me
