En la gran mayoría de los modelos de ZF que se construyen AU es cierto, por lo que es consistente con el resto de axiomas.