[FOM] Tolerance Principle (re assertions made about Con(NF))

[Lew Gordeew]

Randall Holmes wrote on Tue, 14 Feb 2006 16:07:48 -0700:
> There is _nothing_ to indicate that NF is any stronger than the simple
> theory of types with the Axiom of Infinity 

Proof Theory is the crucial indication. Because cut elimination in TT+Inf,
as well as NFU+Inf, is known and not very hard. Not in NF though. As I
already pointed out, cut elimination in full NF, i.e. including Ext, is
troublesome. Also note that Ext proves Inf in NF.

Regards,
L. Gordeev

-- 
Telefonieren Sie schon oder sparen Sie noch?
NEU: GMX Phone_Flat http://www.gmx.net/de/go/telefonie