Material set theory

Countable Principle of Choice

The Countable Axiom of Choice is a possible axiom of material set theory and rather weak choice principle:¹ #m/def/set

which is to say, if is a set and is a left-total Relation set, i.e. relates every with at least one , then there exists a choice function that selects such a for each . Thus countable sequences of independent choices are always possible.

Relationship to other axioms

Strengthenings

Over , is a strict weakening of the Axiom of Dependent Choice and thus the Axiom of Choice.

#state/tidy | #lang/en | #SemBr