Ramified Theory of Types

Redirect to:

• Principia Mathematica#Ramified types and the axiom of reducibility