Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00178211n
Noun Concept
Categories: Type theory, Concepts in logic, Bertrand Russell, Foundations of mathematics
EN
axiom of reducibility
EN
The axiom of reducibility was introduced by Bertrand Russell in the early 20th century as part of his ramified theory of types. Wikipedia
Definitions
Relations
Sources
EN
The axiom of reducibility was introduced by Bertrand Russell in the early 20th century as part of his ramified theory of types. Wikipedia
IS A
axiom
Wikipedia
EN
axiom of reducibility
Wikidata
EN
axiom of reducibility

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License