A formal system of arithmetic using axioms by Giuseppe Peano, it provides a foundational basis for the theory of natural…