All public logs

Combined display of all available logs of Apeirology Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 12:27, 1 September 2023 RhubarbJayde talk contribs created page Peano arithmetic (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