It seems that your comment got cut off at the end there.
Edited
Well, if we were to know that assertion is unprovable, or undecidable, then we can treat it as any other unprovable assertion.
It seems that your comment got cut off at the end there.
Edited
Well, if we were to know that assertion is unprovable, or undecidable, then we can treat it as any other unprovable assertion.