[FOM] Tolerance Principle

[Bill Taylor]

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