axiom of countable choice

Summary

axiom of countable choice is an axiom of set theory^[1]. It draws 16 Wikipedia views per month (axiom_of_set_theory category, ranking #12 of 17).^[2]

Key Facts

• axiom of countable choice's image is recorded as Axiom of countable choice.svg^[3].
• axiom of countable choice's instance of is recorded as axiom of set theory^[4].
• axiom of countable choice's subclass of is recorded as axiom of choice^[5].
• axiom of countable choice's part of is recorded as list of axioms^[6].
• axiom of countable choice's Freebase ID is recorded as /m/026gkc^[7].
• axiom of countable choice's defining formula is recorded as \left(\forall i\in \mathbb{N} \colon S_i \ne \varnothing\right) \implies \prod_{i\in N}S_i \ne \varnothing^[8].
• axiom of countable choice's nLab ID is recorded as countable choice^[9].
• axiom of countable choice's maintained by WikiProject is recorded as WikiProject Mathematics^[10].
• axiom of countable choice's Microsoft Academic ID is recorded as 2778149689^[11].
• axiom of countable choice's ProofWiki ID is recorded as Axiom:Axiom_of_Countable_Choice^[12].
• axiom of countable choice's in defining formula is recorded as \mathbb{N}^[13].
• axiom of countable choice's Metamath statement ID is recorded as ax-cc^[14].
• axiom of countable choice's logical consequence of is recorded as list of values as qualifiers^[15].

Why It Matters

axiom of countable choice draws 16 Wikipedia views per month (axiom_of_set_theory category, ranking #12 of 17).^[2] It has Wikipedia articles in 12 language editions, a strong signal of global cultural recognition.^[16] It is known by 3 alternative names across languages and contexts.^[17]