体系Tが無矛盾だと証明されている　＝　「Tで矛盾を証明できる」と仮定すると（メタレベルで）矛盾することが（メタレベルで）証明されている

これはTで矛盾を証明できる可能性を否定するものではない