bn:00178211n
Noun Concept
JA
還元公理
EN
The axiom of reducibility was introduced by Bertrand Russell in the early 20th century as part of his ramified theory of types. Wikipedia
Relations
Sources
IS A
Wikidata