en axiom of countable choice
― DerivedFrom ⟶
Weight: 1.0
en axiom of choice (n) Source: English Wiktionary
en axiom of dependent choice
― DerivedFrom ⟶
Weight: 1.0
en axiom of choice (n) Source: English Wiktionary