Keywords

#axiom_of_reducibility

Axiom of reducibility

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.

Mon 22nd

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Axiom of reducibility Principia Mathematica History of type theory History of the function concept Logicism Peano axioms Impredicativity ST type theory Zermelo–Fraenkel set theory Matrix (mathematics)
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.