If we cannot prove consistency from within, the conditional 'if consistent, then the Gödel sentence ...