[FOM] Why not NF?

hendrik@topoi.pooq.com hendrik at topoi.pooq.com
Sun Feb 19 20:18:33 EST 2006


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


More information about the FOM mailing list