Coq: Can I prove anything with the hypothesis forall x : T, False

Question

I\'m doing a proof in Coq, and I got forall x : T, P x /\\ ~ P x as one of the hypothesis.

But I don\'t have any variable of type T in conte