[FOM] Tolerance Principle
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