Esto significa que ni AE ni su negación pueden demostrarse ciertos dentro de los axiomas de Zermelo-Fraenkel (ZF), si esa teoría es consistente.