[FOM] Why not NF?

Martin Davis martin at eipye.com
Sun Feb 19 19:57:34 EST 2006


NF suffers from at least two grave faults:
1. It's inconsistent with AC
2. Cantor's theorem 2^x > x fails.

Martin 



More information about the FOM mailing list