On Sun, Feb 19, 2006 at 04:57:34PM -0800, Martin Davis wrote: > NF suffers from at least two grave faults: > 1. It's inconsistent with AC > 2. Cantor's theorem 2^x > x fails. And why are those two sacred? -- hendrik