The last postulate embodies the pri

The last postulate embodies the principle of mathematical induction and illustrates in a very obvious manner the enforcement of a mathematical “truth” by stipulation. The construction of elementary arithmetic on this basis begins with the definition of the various natural numbers. 1 is defined as the successor of 0, or briefly as 0'; 2 as 1', 3 as 2', and so on. By virtue of P2, this process can be continued indefinitely; because of P3 (in combination with P5), it never leads back to one of the numbers previously defined, and in view of P4, it does not lead back to 0 either.
As the next step, we can set up a definition of addition which expresses in a precise form the idea that the addition of any natural number to some given number may be considered as a repeated addition of 1; the latter operation is readily expressible by means of the successor relation.
This definition of addition runs as follows:
Dl. (a) n + 0 = n (b) n + k' = (n + k)'.
The two stipulations of this recursive definition completely determine the sum of any two integers. Consider, for example, the sum 3 + 2. According to the definitions of the numbers 2 and 1, we have 3 + 2 = 3 + 1' = 3 + (0’)'; by Dl (b), 3 + (0')' = (3 + 0')' = ((3 + 0)')'; but by Dl (a), and by the definitions of the numbers 4 and 5, ((3 + 0)')' = (3')' = 4' = 5. This proof also renders more explicit and precise the comments made earlier in this paper on the truth of the proposition that 3 + 2 = 5: Within the Peano system of arithmetic, its truth flows not merely from the definition of the concepts involved, but also from the postulates that govern these various concepts. (In our specific example, the postulates PI and P2 are presupposed to guarantee that 1, 2, 3, 4, 5, are numbers in Peano’s system; the general proof that Dl determines the sum of any two numbers also makes use of P5.) If we call the postulates and definitions of an axiomatized theory the “stipulations” concerning the concepts of/'that theory, then we may say now that the propositions of the arithmetic of the natural numbers are true by virtue of the stipulations which have been laid down initially for the arithmetical concepts. (Note, incidentally, that our proof of the formula “3 + 2 = 5” repeatedly made use of the transitivity of identity; the latter is accepted here as one of the rules of logic which may be used in the proof of any arithmetical theorem; it is, therefore, included among Peano’s postulates no more than any other principle of logic.)
Now, the multiplication of natural numbers may be defined by means of the following recursive definition, which expresses in a rigorous form the idea that a product nk of two integers may be considered as the sum of k terms each of which equals n.
D2. (a) n*0 = 0; (b) n*k' = n*k + n.
It now is possible to prove the familiar general laws governing addition and multiplication, such as the commutative, associative, and distributive laws (n + k = k + n; n-k = k-n; n + (k + /) = (n + k) + l; n-(k-l) = (n-k) •/; n- (k + /) = (n-k) + (n-l)). In terms of addition and multipli-cation, the inverse operations of subtraction and division can then be defined. But it turns out that these “cannot always be performed”; i.e., in contradistinction to the sum and the product, the difference and the quotient are not defined for every couple of numbers; for example, 7-10 and 7 / 10 are undefined. This situation suggests an enlargement of the number system by the introduction of negative and of rational numbers

Результаты (русский) 1:

Последний постулат воплощает в себе принцип математической индукции и весьма очевидным образом иллюстрирует применение математической «правду» положение. Строительство элементарной арифметики на этой основе начинается с определения различных натуральных чисел. 1 определяется как преемник 0, или кратко 0'; 2 в 1', 3, 2', и так далее. Силу P2 Этот процесс может продолжаться бесконечно; Ввиду P3 (в сочетании с P5), никогда не приводит к одному из ранее определенных номеров, и ввиду P4, он не ведет обратно к 0 либо.В качестве следующего шага мы можем создать определение сложения, который выражает в точной форме идею, что добавление любое натуральное число до некоторого заданного числа может рассматриваться как повторяемое добавление 1; Последняя операция легко выражаются посредством отношения преемника.Это определение сложения выполняется следующим образом:DL. (a) n + 0 = n (b) n + k '= (n + k)'.Два положения этой рекурсивное определение полностью определяют сумму любых двух целых чисел. Рассмотрим, например, сумма 3 + 2. Согласно определениям чисел 2 и 1, у нас есть 3 + 2 = 3 + 1 '= 3 + (0')'; от Dl (b), 3 + (0')' = (3 + 0')' = ((3 + 0)') '; но Dl (), а также определениям чисел 4 и 5 ((3 + 0)') ' = (3')' = 4' = 5. Это доказательство также предоставляет более четкие и точные комментарии, сделанные ранее в этом бумаги на истинность предположения что 3 + 2 = 5: системы в пределах Пеано арифметики, его истины вытекает не просто из определения соответствующих концепций, но и от постулатов, которые регулируют эти различные концепции. (В нашем конкретном примере, постулаты, которые Пи и P2 предполагает, чтобы гарантировать, что 1, 2, 3, 4, 5, являются числами в системе Пеано в; общее доказательство, что Dl определяет сумма любых двух чисел также использует P5). Если мы называем постулаты и определения axiomatized теории «положения» о концепции /' эту теорию, то мы может сказать теперь, что предложения арифметики натуральных чисел истинны в силу положения, которые были установлены изначально для арифметических понятий. (Обратите внимание, кстати, что наше доказательство формулы «3 + 2 = 5» неоднократно использовать транзитивности личности; последний принимается здесь как один из правил логики, которые могут быть использованы в доказательство теоремы любой арифметической; это, таким образом, не более, чем любой другой принцип логики среди Пеано в постулаты.)Теперь умножение натуральных чисел может быть определена с помощью следующих рекурсивное определение, которое в строгой форме выражает идею, что продукт НК из двух целых чисел может рассматриваться как сумма k терминов, каждое из которых равно n.D2. (a) n * 0 = 0; (b) n * k' = n * k + n.Теперь это можно доказать знакомые общие законы, регулирующие сложения и умножения, например коммутативный, ассоциативный и распределительные законы (n + k = k + n; n-k = k-n; n + (k + /) = (n + k) + l; n-(k-l) = (n-k) • /; n-(k + /) = (n-k) + (n-l)). Что касается сложения и multipli ния затем можно определить обратные операции вычитания и деления. Но оказывается, что эти «не может всегда быть выполнена»; то есть в отличие от суммы и продукт, разница и частное не определены для каждой пары чисел; к примеру, 7-10 и 7 / 10 не определены. Эта ситуация предполагает расширение системы счисления путем введения отрицательных и рациональных чисел

Результаты (русский) 2:

Последнее постулат закреплен принцип математической индукции и иллюстрирует в очень очевидным образом исполнение математической "истины" по условию. Строительство элементарной арифметики на этой основе начинается с определения различных натуральных чисел. 1 определяется как преемник 0, или кратко как 0 '; 2 в 1 ', 3 в 2' и так далее. В силу Р2, этот процесс можно продолжать до бесконечности; из Р3 (в сочетании с P5), он никогда не приводит к одному из чисел ранее определенных, и с учетом P4, это не приводит обратно в 0, либо.
В качестве следующего шага, мы можем создать определение того который выражает в точной форме идею о том, что добавление любого натурального числа к некоторому заданному числу можно рассматривать как повторное добавление 1; Последняя операция легко выражается с помощью преемника отношения.
Это определение того работает следующим образом:
дл. () П + 0 = п (б) п + к '= (п + к).
Эти два положениями этого рекурсивного определения полностью определяют сумму любых двух целых чисел. Рассмотрим, например, на сумму 3 + 2. В соответствии с определениями чисел 2 и 1, то есть 3 + 2 = 3 + 1 = 3 + (0 ')'; по DL (б), 3 + (0 ')' = (3 + 0 ')' = ((3 + 0) ')'; но DL (), и определений чисел 4 и 5, ((3 + 0) ')' = (3 ')' = 4 '= 5. Это доказательство также оказывает более явные и точные замечания по ранее в этой статье на истине утверждения, что 3 + 2 = 5: В рамках системы арифметики Пеано, его правда течет не только из определения понятий, связанных, но и из постулатов, которые регулируют эти различные понятия. (В нашем конкретном примере ПИ постулаты и Р2 предполагается, чтобы гарантировать, что 1, 2, 3, 4, 5, являются числами в системе Пеано; общее доказательство, что Dl определяет сумма любых двух чисел также использует P5. ) Если мы называем постулаты и определения в аксиоматизирована Теоретически "оговорки" относительно понятия / "этой теории, то мы можем сейчас сказать, что предложения арифметики натуральных чисел верны в силу положений, которые были заложены изначально для арифметических понятий. (Заметим, кстати, что наше доказательство формулы "3 + 2 = 5" неоднократно использование транзитивности идентичности; последний принял здесь в качестве одного из правил логики, которые могут быть использованы в доказательстве теоремы любой арифметической ; она, следовательно, входит в число постулатов Пеано не более, чем любой другой принцип логики).
Теперь, умножение натуральных чисел может быть определена с помощью следующего рекурсивного определения, выражающего в строгой форме идею, что пк продукт двух целых чисел можно рассматривать как суммы к слагаемых, каждое из которых равно п.
D2. () П * 0 = 0; (Б) п * к '= п * к + п.
Теперь можно доказать знакомые общие закономерности сложения и умножения, например, коммутативной ассоциативной, и дистрибутивные законы (п + К = К + п; пк = кН; N + (К + /) = (N + K) + L; N- (KL) = (NK) • /; N- (K + /) = (NK) + (NL)). С точки зрения того и multipli-катиона, обратные операции вычитания и деления, то может быть определено. Но оказывается, что это "не всегда может быть выполнена"; т.е., в отличие от суммы и продукта, разность и частное не определены для каждой пары чисел; например, 7-10 и 7/10 не определено. Все это говорит в увеличенном масштабе системы счисления введением отрицательной и рациональных чисел

Результаты (русский) 3:

Последний тезис закреплен принцип математической индукции и иллюстрирует весьма очевидным образом исполнение математические "истины" условие. Строительство элементарных арифметических на этой основе начинается с определения различных природных номера. 1, определяется в качестве преемника 0, или кратко 0 '2, 1 ', 3, 2 ', и т. д. В силу P2,Этот процесс может продолжаться бесконечно, поскольку P3 (в сочетании с P5), она никогда не ведет к обратно в один из номеров заранее определены, и с учетом P4, он не приведет к 0.
как следующий шаг,Мы можете задать определение того, выражает, в точной форме идею о том, что добавление каких-либо природных номер, на некоторых число может рассматриваться в качестве неоднократные дополнение 1; в последнем операции легко выражаемого посредством государства-преемника связи с.
это определение дополнение работает следующим образом:
dl. (A) n 0 = n (b) n k' = (n k) " .
Два положения этой рекурсивный определение полностью определить суммы любых двух целых чисел. Рассмотрим, например, сумма 3 2. В зависимости от определения номера 2 и 1, мы 3 2 = 3 1' = 3 (0 ' ) '; в DL (b), 3 (0 ' )' = (3- 0 ' )' = ((3 0) ' ) '; но, DL (a), и определения номера 4 и 5, ((3 0) ' )' = 3 ' )' = 4' = 5.Это также делает более четкие и конкретные замечания, высказанные ранее в этом документе по установлению истины о том, что 3 2 = 5: в рамках системы Пеано фрактального арифметические, свою правду проистекает не только из определения понятий, но также от постулатов, регулирующие эти различные концепции. (В нашем конкретном примерепостулатов PI и P2, предполагает гарантировать, что 1, 2, 3, 4, 5, номера в Пеано фрактального системы; генеральная доказательства того, что Dl определяет суммы любых двух номеров также P5.) Если мы называем постулаты и определение axiomatized теории "положений" относительно концепций/ ', теории,Затем мы можем сказать, что предложениям арифметических природных цифры верны в силу положений, которые были заложены на начальном этапе для арифметической концепций. (К сведению, между прочим, что наше доказательство формулы 3 2 = 5 ", неоднократно использовал транзитивности удостоверений личности;Последняя является признанным здесь в качестве одного из правил логики могут быть использованы в качестве подтверждения каких-либо арифметические теорема; она является, таким образом, среди Пеано фрактального в постулаты не более, чем какой-либо другой принцип логики. )
сейчас, увеличение числа природных номера могут быть определены с помощью следующих рекурсивное определение,который выражает в жесткой форме идею о том, что продукт nk из целых чисел может быть рассмотрен как сумма k с точки зрения каждой из которых равна n.
D2. (A) n * 0 = 0; (b) n * k' = n * k n.
в настоящее время доказать знакомый общие законы, регулирующие и умножение, таких, как коммутативных и ассоциативных, и распределительные законы (n k = k n; n-k = k-n; n k /) = (n k) l;n- (k-l) = (n-k) • /; n- (k /) = (n-k) (n-l). В дополнение, multipli-осаждения катионов оснований, обратной операции вычитания и отдел может быть определена. Но выясняется, что эти "не всегда может быть выполнено"; т.е. в отличие от этой суммы и продукта, разница и частное не определены для каждой пары чисел; например,Пункты 7-10 и 7 10 не определены. Эта ситуация свидетельствует о расширении системы путем введения отрицательных и рациональных чисел