" In general, it is impossible to prove that "F" exists without the axiom of choice, but this seems to have gone unnoticed until Zermelo.
В общем, невозможно доказать, что formula_23 существует без аксиомы выбора, но это, кажется, оставалось без внимания до Цермело.