CreeperBomb
Undo revision 685 by Cobsonwabag (talk)
16:51
−2,039
Cobsonwabag
no edit summary
05:58
+2,039
RhubarbJayde
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..."
12:27
+2,552