El axioma de elección fue presentado por Russell en 1906 de manera esencialmente similar a la siguiente: