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.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Russell's type theory, ZF set theory
  1. Set theory (Replies: 6)