Axiom of reducibility
http://dbpedia.org/resource/Axiom_of_reducibility an entity of type: WikicatConceptsInLogic
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.
rdf:langString
rdf:langString
Axiom of reducibility
xsd:integer
10591072
xsd:integer
1006121428
rdf:langString
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.
xsd:nonNegativeInteger
39268