Results 1 to 2 of 2

Thread: sucessor addition pf

  1. #1
    Junior Member
    Nov 2009

    sucessor addition pf

    prove that for all natural numbers x and y, S(x+y)=S(x)+y

    Is this not strictly by definition of addition????
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Oct 2009
    Yes, this is an interesting question. This totally depends on the context. This is one of the Peano's axioms for arithmetic, so in that context it is trivially derivable (provable). In other formalisms, there is a convention that the terms (S x) + y and S(x + y) are in fact the same term. (For example, this is the case in the Calculus of Inductive Constructions, the theory behind the Coq proof assistant.) In such systems, terms are not just strings of characters but equivalence classes of such strings. But in both of these cases one can say that this holds by definition.

    Maybe it's a trivial part of a warm-up for further questions? Its purpose may be for readers to nod their heads, acknowledge that this is true and be ready to refer to this fact in more complicated discussions.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Addition of secants
    Posted in the Trigonometry Forum
    Replies: 1
    Last Post: Sep 20th 2010, 04:12 AM
  2. Addition formulae
    Posted in the Trigonometry Forum
    Replies: 2
    Last Post: Jan 30th 2010, 07:54 AM
  3. Addition problem
    Posted in the Algebra Forum
    Replies: 3
    Last Post: Apr 19th 2009, 12:11 PM
  4. Commutativity of Addition
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: Jul 8th 2007, 06:36 PM
  5. addition
    Posted in the Math Topics Forum
    Replies: 4
    Last Post: Jul 18th 2006, 08:31 AM

Search Tags

/mathhelpforum @mathhelpforum