
Re: On Generalizing the Natural Numbers
Posted:
Dec 2, 2012 2:46 PM


On Dec 3, 5:33 am, CharlieBoo <shymath...@gmail.com> wrote: > > numbers when added to 4 are less than 10? > > > Herc > > (eA)ADD(4,x,A) ^ LT(A,10) >
But this isn't a set unless you are using EXIST to add syntactic sugar.
R(I,x) <=> { x  R(I,x) }
And you're swapping between = with sets of answers (or intersection) and ^ in predicate format.
How do you write using {} format  the set of numbers when added to 4 are less than 10.
You can't combine your 2 formatting methods to do this.
Herc

