He aquí algunas afirmaciones que requieren el axioma de elección en el sentido de que no son demostrables en ZF pero sí en ZFE.