An Extension of Peano Axioms for the Natural Number System
Stephen Sebastine Akpan, John Usen, T. A. Ugbe
Abstract
Stephen Sebastine Akpan, John Usen, T. A. Ugbe
Abstract
As a fundamental requirement, a natural number system must necessarily satisfy Peano axioms. These axioms altogether justify whether or not a number system is a natural number system. In this paper, a set of axioms have been proposed and established to augment and extend the existing Peano axioms for the natural number system. Key Words: Natural numbers, Rational numbers, Peano axioms, Pearson correlation coefficient, Even and Odd partitions.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
As a fundamental requirement, a natural number system must necessarily satisfy Peano axioms. These axioms altogether justify whether or not a number system is a natural number system. In this paper, a set of axioms have been proposed and established to augment and extend the existing Peano axioms for the natural number system. Key Words: Natural numbers, Rational numbers, Peano axioms, Pearson correlation coefficient, Even and Odd partitions.
Key concepts: Peano axioms, Axiom, Mathematics, Extension (predicate logic), Axiomatic system, Natural number, Natural (archaeology), Set (abstract data type)