Concept
Axiom of reducibility
Overview
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.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Law of identity
- Intension
- John von Neumann
- Kurt Gödel
- Ludwig Wittgenstein
- Ernst Zermelo
- The Principles of Mathematics
- Propositional logic
- Proof theory
- Function (mathematics)
- Intuitionism
- Natural number
- Ordered pair
- Principia Mathematica
- Paradox
- Axiom of infinity
- Peano axioms
- Set theory
- Sheffer stroke
- Tractatus Logico-Philosophicus
- Willard Van Orman Quine
- Stanford Encyclopedia of Philosophy
- Category mistake
- Bertrand Russell
Place in the tradition
Part of Logicism.