Peano arithmetic: Difference between revisions
Undo revision 685 by Cobsonwabag (talk)
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...") |
CreeperBomb (talk | contribs) (Undo revision 685 by Cobsonwabag (talk)) Tag: Undo |
||
| (One intermediate revision by one other user not shown) | |||
(No difference)
| |||