ramified theory of types

logic

Learn about this topic in these articles:

In history of logic: Principia Mathematica and its aftermath
…be known as the “ramified” theory of types. In addition, in order to show that all of the usual mathematics can be derived in their system, Russell and Whitehead were forced to introduce a special assumption, called the axiom of reducibility, that implies a partial collapse of the ramified…
Read More