[floxy]

Maybe the GP is referring to something like Chapter 5 of Chaitin's Meta Math!.

https://arxiv.org/pdf/math/0404335.pdf