Asumiendo el axioma de elección, todo lo que puede demostrarse con los axiomas de Zermelo-Fraenkel es: