A Berkeley cardinal is a cardinal κ in a Zermelo–Fraenkel set theory with the property that for every transitive set M includes κ; however, its existence is inconsistent with the axiom of countable choice.
A Berkeley cardinal is a cardinal κ in a Zermelo–Fraenkel set theory with the property that for every transitive set M includes κ; however, its existence is inconsistent with the axiom of countable choice.