G ≡ ¬Provable(⌜G⌝)

Truest truths are the ones we can never write.