> If we define f(x) as > > f(x) = x/x and c[f(x)],
That's cheating. You've been told at least eight million times that you may define f with a formula, but you cannot put "and c[f(x)]" in the definition. If c[f(x)] is true it has to be proved _from_ the definition.
> [snip] > I believe this is a profound observation, closely related to Russell's > Paradox.
-- The world will little note, nor long remember what we say here Lincoln at Gettysburg