Peano arithmetic: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

25 March 2024

1 September 2023

  • curprev 12:2712:27, 1 September 2023‎ RhubarbJayde talk contribs‎ 2,552 bytes +2,552‎ 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..." Tag: Visual edit
Retrieved from "https://apeirology.com/wiki/Peano_arithmetic"