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