axiom of countable choice

The Axiom of Countable Choice (CC) is a weak form of the Axiom of Choice (http://planetmath.org/AxiomOfChoice).It states that every countable set of nonempty sets has a choice function.

(that is, the Zermelo-Fraenkel axioms together with the Axiom of Countable Choice) suffices to prove that the union of countably many countable sets is countable. It also suffices to prove that every infinite set has a countably infinite subset, and that a set $X$ is infinite if and only if there is a bijection between $X$ and a proper subset of $X$ .

单词	AxiomOfCountableChoice
释义	axiom of countable choice The Axiom of Countable Choice (CC) is a weak form of the Axiom of Choice (http://planetmath.org/AxiomOfChoice).It states that every countable set of nonempty sets has a choice function. (that is, the Zermelo-Fraenkel axioms together with the Axiom of Countable Choice) suffices to prove that the union of countably many countable sets is countable. It also suffices to prove that every infinite set has a countably infinite subset, and that a set $X$ is infinite if and only if there is a bijection between $X$ and a proper subset of $X$ .
随便看	RestrictedDivisorsOfTheFirst1000PositiveIntegers restricted divisors of the first 1000 positive integers RestrictedHomomorphism restricted homomorphism RestrictedLieAlgebra restricted Lie algebra RestrictionOfAContinuousMappingIsContinuous restriction of a continuous mapping is continuous RestrictionOfAFunction restriction of a function RestrictionRepresentation restriction representation Resultant resultant ResultantalternativeTreatment resultant (alternative treatment) ResultOnQuadraticResidues result on quadratic residues Retract retract Reversal reversal ReverseMarkovInequality reverse Markov inequality ReversePolishNotation