Algebra Addition After Axioms

 10 June 15:56   It is accessible to ascertain a approved set of numbers in a academic fashion. The set of Peano axioms ascertain the alternation of numbers accepted as the accustomed numbers. They are as follows:

    # There is a accustomed amount 0.

    # Every accustomed amount a has a successor, denoted by a + 1.

    # There is no accustomed amount whose almsman is 0.

    # Audible accustomed numbers accept audible successors: if a <> b, then a + 1 <> b + 1.

    # If a acreage is bedevilled by 0 and aswell by the almsman of every accustomed amount it is bedevilled by, then it is bedevilled by all accustomed numbers.

    

    Let us attack to actuate these axioms. We wish these axioms to annihilate any set which is not the accustomed numbers. E.g, any set accomplishing the aloft should at atomic be infinite.

    The first two are accessible backdrop of the accustomed numbers (and of integers) as we understand them. Agenda that some adopt to use 1 as the everyman number. The cause for allotment aught has basis in [set theory], in which the first accustomed amount is called as the abandoned set $emptyset$.

    The 3rd adage prevents circularity. If this adage was not included, defining $0\; +\; 1\; =\; 0$ would trivially accomplish the actual axioms --- prove this for yourself by because anniversary actual axiom!

    The 4th prevents a fractional loop. Accede a the set $$ and set $0+1=1$ and $1+1=1$. This set fulfills every adage but the 4th --- prove this for yourself.

    The 5th is sometimes alleged the consecration axiom. It ensures that the set is connected, i.e. that we can ability any amount by using the 2nd adage again on 0. An archetype of a set that fulfills every adage but the 5th is $left,\; 1,\; frac,\; dots$
ight} with the accepted acceptation of +1.

    From this we can deduce the actuality of a alternation of quantities like this:

    where 0 is a connected and the first accustomed amount and 1 is a connected accustomed amount agnate to the aberration in amount amid two after accustomed numbers.

    This set is acceptable for counting. However, it is annoying to accredit to a ample accustomed amount as 0 followed by the requisite ample amount of + 1 expressions. Due to this, anniversary of the accustomed numbers is accustomed a label, and to create the labelling easier addition adage is introduced:

    0 + 1 is agnate to 1.

    

    Thus the alternation of accustomed numbers may be accounting so for some brevity:

    Once this is done, giving anniversary abundance its own characterization is trivial. And so the alternation of accustomed numbers can then be written: