[FOM] Tolerance Principle

[Thomas Forster]

I think the two systems have to interpret arithmetic in the same 
way......  (which NF and ZFC do not)

     tf



On Wed, 8 Feb 2006, Bill Taylor wrote:

> Harvey Friedman <friedman at math.ohio-state.edu> writes:
> 
> ->As I have mentioned many times before on the FOM, it appears from experience
> ->that any for any two natural formal systems, each of which interprets a
> ->small amount of arithmetic (or set theory), one of them is interpretable in
> ->the other. The two systems are based on first order predicate calculus, but
> ->may have entirely different languages.
> 
> Does this also apply between Quine's NF and ZFC?
> 
> wfct
> 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
> 

-- 

  URL: www.dpmms.cam.ac.uk/~tf   Tel: +44-1223-337981
  (U Cambridge); +44-20-7882-3659 (QMW) +44-7887-701-562
 (mobile)