Axiom of reducibility
From Wikipedia, the free encyclopedia
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.
The axiom states that any property of higher-order logic is reducible to a corresponding first-order property.
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
