This article is the most concise presentation of GP ... and of the conclusion it leads to ... I've seen.

"Opposite statements, G and ~G, can’t both be true in a consistent axiomatic system."