[FOM] Tolerance Principle

Thomas Forster T.Forster at dpmms.cam.ac.uk
Wed Feb 8 04:18:00 EST 2006

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


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


More information about the FOM mailing list