- #1
Euclid
- 214
- 0
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?
Are there any objections to ZF?