[FOM] Tolerance Principle

Bill Taylor W.Taylor at math.canterbury.ac.nz
Tue Feb 7 22:40:14 EST 2006

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?


More information about the FOM mailing list