Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Russell's type theory, ZF set theory

  1. Nov 20, 2004 #1
    What are the weaknesses and strengths of Russell's type theory? I'm having trouble understanding exactly what makes it weaker than ZF. I've been told its too restrictive, but what exactly makes it more restrictive than ZF?
    Are there any objections to ZF?
  2. jcsd
  3. Dec 6, 2004 #2
    Russell's type theory has some philosophical embellishments, such as the axiom of reducibility, which asserts that every formula is equivalent to another formula that is predicable. This does two things: it makes the restriction redundant, and it is actually not a very plausible axiom. If you must use a theory of types, don't use Russell's, use a simplified theory without the silly redundancies.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook