Edited
Well, if we were to know that assertion is unprovable, or undecidable, then we can treat it as any other unprovable assertion.
Edited
Well, if we were to know that assertion is unprovable, or undecidable, then we can treat it as any other unprovable assertion.