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

Similar Threads - Russell's type theory Date
I Russell's Paradox Feb 21, 2017
Russel's paradox Jul 20, 2014
Morse-Kelley Class Comprehension axiom and Russell's paradox Dec 27, 2013
Russel's Paradox in Naive Set Theory Aug 22, 2013
Does this type of process have a name? Apr 3, 2013