Axiom of reducibility

The axiom of reducibility was introduced by Bertrand Russell in the early 20th century as part of his ramified theory of types. Russell devised and introduced the axiom in an attempt to manage the contradictions he had discovered in his analysis of set theory.^[1]

^ Thierry Coquand (20 January 2010). "Type Theory". Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, CSLI, Stanford University. Retrieved 29 March 2012.

[1] Thierry Coquand (20 January 2010). "Type Theory". Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, CSLI, Stanford University. Retrieved 29 March 2012.

[1]