quasi wrote: > Peter Percival wrote: >> Nam Nguyen wrote: >>> >>> I certainly meant "odd(x) can _NOT_ be defined as a >>> positive formula ...". >> >> Prove it. > > With Nam's new definition of positive/negative, I think > it's immediately provable (subject to some clarification as > to what a formula is) that odd(x) is a negative formula. > > Let even(x) <-> Ey(x=2*y). > > Assuming Nam's definition of "formula" supports the claim > that even(x) is a positive formula, then odd(x) must be > a negative formula since odd(x) is equivalent to ~even(x). > > So, conceding that, where does he go with it? > > quasi
But who's to say that there isn't a positive formula phi with one free variable x such that phi(x) <-> odd(x)? phi may be taken as a definition of odd.
-- Sorrow in all lands, and grievous omens. Great anger in the dragon of the hills, And silent now the earth's green oracles That will not speak again of innocence. David Sutton -- Geomancies