# Category:Axiom of Dependent Choice

Jump to navigation
Jump to search

This category lists pages that are related to the Axiom of Dependent Choice, especially theorems that depend on it.

## Pages in category "Axiom of Dependent Choice"

The following 14 pages are in this category, out of 14 total.

### I

- Infinite Sequence Property of Strictly Well-Founded Relation
- Infinite Sequence Property of Strictly Well-Founded Relation/Reverse Implication
- Infinite Sequence Property of Strictly Well-Founded Relation/Reverse Implication/Proof 1
- Infinite Sequence Property of Strictly Well-Founded Relation/Reverse Implication/Proof 2
- Infinite Sequence Property of Well-Founded Relation
- Infinite Sequence Property of Well-Founded Relation/Reverse Implication
- Infinite Sequence Property of Well-Founded Relation/Reverse Implication/Proof 1
- Infinite Sequence Property of Well-Founded Relation/Reverse Implication/Proof 2
- Infinite Set has Countably Infinite Subset/Intuitive Proof