La práctica totalidad de los modelos que se construyen para ZF incluyen Ex, luego es consistente con el resto de axiomas.