En 1964, Paul Cohen demostró que el AE no puede demostrarse a partir de ZF.