Not as well versed in philosophy as Jaffar, but I'd venture a guess that it's possible to show that it's impossible to prove X. Further, we don't have to get anywhere near that complicated, because X itself is possible.
--
90s games > 00s games