
Re: Two Finite Arithmetics
Posted:
Apr 6, 2014 9:59 PM


On Sun, 6 Apr 2014, Shmuel (Seymour J.) Metz wrote: > In <Pine.NEB.4.64.1404060145470.23111@panix1.panix.com>, on 04/06/2014 > > >0, m in N; Sm = m > >for all x, Sx in N > >for all x, x /= S0 > > Inconsistent. Perhaps you meant for all x, Sx /= 0
Indeed.

