Sometimes it possible to make very general statement about functional form of things and show, for example, that QM cannot be described by the use of hidden variable (I'm not a physicist in any sense, so excuse imprecision which hopefully aren't gross misunderstanding).
As anyone ever attempted to show that it is impossible to incorporate QM and GR in a single consistent framework?