Peano arithmetic: Difference between revisions
Jump to navigation
Jump to search
Created page with "Peano arithmetic is a first-order axiomatization of the theory of the natural numbers introduced by Giuseppe. It is a system of arithmetic which includes basic rules of nonnegative arithmetic - transitivity, symmetry and reflexivity of equality, the definitions of addition and multiplication, nonexistence of -1 (i.e. a number whose successor is zero), injectivity of the successor operation, and the induction schema. The induction schema gives Peano arithmetic the bul..."
RhubarbJayde (talk | contribs) (Created page with "Peano arithmetic is a first-order axiomatization of the theory of the natural numbers introduced by Giuseppe. It is a system of arithmetic which includes basic rules of nonnegative arithmetic - transitivity, symmetry and reflexivity of equality, the definitions of addition and multiplication, nonexistence of -1 (i.e. a number whose successor is zero), injectivity of the successor operation, and the induction schema. The induction schema gives Peano arithmetic the bul...") |
(No difference)
|