Equivalent To The Axiom of Choice

Visible Tags

Recent Entries \| Archive \| Friends \| User Info \| Top

∀x ∈ a ∃A(x,y) ⇒ ∃y ∀a A(x,y(x))