ramified theory of types

1. REDIRECT Principia Mathematica#Ramified types and the axiom of reducibility

{{R with possibilities}}

Category:Type theory