Existe un gran número de proposiciones importantes que, asumiendo los axiomas de ZF (sin AE ni su negación), son equivalentes al axioma de elección, en el sentido de que de cualquiera de ellas puede demostrarse dicho axioma y viceversa.