Set Theory II

... Last time we discussed the Axioms of Extension, Specification, Unordered Pairs, and Unions. Some more aioms of set theory Powers For each set there exists a collection of sets that contains among its elements all the subsets of the given set. (Combined with the Axiom of Specification, it follows tha ...

< 1 ... 36 37 38 39 40

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.