Equivalent To The Axiom of Choice

About this Journal

Current Month

Jun. 15th, 2004 @ 04:46 pm friends only

If I know you but don't have you added, comment, tell me whence I know you, and it shall be fixed. All comments screeeeened for ultimate privacy.

About this Entry

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

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