In powerful mathematical theories for the foundations of Computer Science the sentence G does not exist. In fact there is no particular proposition that is kno

In powerful mathematical theories for the foundations of Computer Science the sentence G does not exist. In fact there is no particular proposition that is known to be inferentially undecidable. See the following: https://papers.ssrn.com/abstract=3457802 https://papers.ssrn.com/abstract=3457802