fom
Posts:
1,968
Registered:
12/4/12


Re: Matheology § 253
Posted:
Apr 19, 2013 5:12 PM


On 4/19/2013 3:50 PM, Virgil wrote: > On 4/19/2013 9:16 AM, WM wrote: >> On 19 Apr., 14:28, fom <fomJ...@nyms.net> wrote: >> >>> >>>> If numbers existed only as names then different names would >>>> necessarily represent different numbers, >>> >>> Those are called negative existential statements. >> >> No, those are called nonsense. > > How is it nonsense to say that different names are not the same name? > > And how is it nonsense to say that if numbers are no more than names > that different ones are different? > > > > Here is todays example of WM's logic >> >> There exist m, n, a b in N, >> such that m is in FISON(a) and not in FISON(b) and n is in FISON(b) >> and not in FISON(a). > > For each natural n in N, FISON(n) is defined by WM to be the set of all > naturals less than or equal to the natural number n. > Thus for natural numbers m ands n, > n is in FISON(m) if and only if n <= m, and > similarly n is NOT in FISON(m) if and only if m < n. > Thus if m is in FISON(a) and not in FISON(b), then b < m <= a > and if n is in FISON(b) and not in FISON(a), then a < n <= b > > Thus in WM's world one must have b < a and a < b simultaneously. >
Yeah. First I did it quick.
It got worse when I tried it carefully!!!

