```Date: Apr 3, 2013 5:47 PM
Author: Virgil
Subject: Re: Matheology � 224

In article <264f20e2-01d6-4e10-90cc-908a0532fd1c@y2g2000vbe.googlegroups.com>, WM <mueckenh@rz.fh-augsburg.de> wrote:> Can you prove by induction that the sum of the first m elements of> your phantasy sets like 1, 1/2, 1/3, ... is m(m+1)/2? This is provable> using induction.Not outside of WOLKENMUEKENHEIM, because it is false outside of WOLKENMUEKENHEIM!For m = 1,        1 = 1(1+1)/2 is trueBUT for m = 2,    1 + 1/2 = 3/2              BUT 2(2+1)/2 = 3AND for m = 3,    1 + 1/2 + 1/3 = 6/6 + 3/6 + 2/6 = 11/6              BUT 3(3+1)/2 = 12/2 = 6Again notice the huge the difference between what WM  claims is true inside Wolkenmuekenheim and what is true outside of Wolkenmuekenheim.It seems that inside Wolkenmuekenheim even the simplest of arithmetic differs from that of standard mathematics.Now if WM wants an inductive proof that the sum of the first m positive integers equals m(m+1)/2....initial step (m = 1) 1 = 1*(1+1)/2, trueInductive step, assume 1+2+...+m = m*(m+1)/2                to prove 1+2+...+m + (m+1) = (m+1)((m+1)+1)/2proof:add (m+1) to both sides:    new LHS  = 1+2+...+m + (m+1)   new RHS  = m*(m+1)/2 + (m+1)            = (m+1)[m/2 + 1] distributive law,                   AND m/2 + 1 = (m+2)/2 = ((m+1)+1)/2, SO            = (m+1)*((m+1)+1)/2 QED.Thus by induction on N ={ 1,2,3,...},the sum of the first m posItive integers is m(m+1)/2.AND THAT IS THE SORT OF PROOF THAT WM IS APPARENTLY INCAPABLE OF PRODUCING, AS HE NEVER PRODUCES ANYTHING LIKE IT.--
```