As far as I know, that is actually the solution. If you could prove “not provable(X)” then in particular you have proven that the proof system you’re working in is consistent (an inconsistent system proves everything by explosion). But Godel.
As far as I know, that is actually the solution. If you could prove “not provable(X)” then in particular you have proven that the proof system you’re working in is consistent (an inconsistent system proves everything by explosion). But Godel.