Marshall
Posts:
1,936
Registered:
8/9/06


Re: A finite set of all naturals
Posted:
Aug 13, 2013 12:24 AM


On Monday, August 12, 2013 8:26:40 PM UTC7, Nam Nguyen wrote: > > >>>> Def03a: even1(x) <> Ey[x=y+y] > >>>> Def03b: even2(x) <> Ey[x=2*y] > >>>> Def03c: even(x) <> (even1(x) \/ even2(x)) > > The point is though the essences of the 2 conjectures are drastically > different: _an odd number can not be defined without addition_ while > an even number can (as per Def03b above).
Def03d: odd(x) <> !Ey[x=2*y]

