e/Axiom of reducibility

Information
has gloss	eng: The axiom of reducibility was introduced by Bertrand Russell as part of his ramified theory of types, an attempt to ground mathematics in first-order logic.
lexicalization	eng: axiom of reducibility
instance of	(noun) English philosopher and mathematician who collaborated with Whitehead (1872-1970) Russell, Earl Russell, Bertrand Russell, Bertrand Arthur William Russell