En algunos modelos de ZF¬E es posible probar la negación de algunas propiedades comunes.