ある体系の中での証明不能性はメタの議論になるのが普通だから、一段階高い立場を要するだろうな。