Если бы это было доказуемо, оно было бы ложным, что противоречит идее о том, что в непротиворечивой системе доказуемые утверждения всегда верны.
Если бы предложение было истинным, то утверждение было бы ложным.