Es en general imposible demostrar que "F" existe sin el axioma de elección, pero esto no fue notado antes de Zermelo.