>>964
なんらかのメタの意味での自然数を表すと考えれば良いですね

ある公理系τが矛盾するとは、τ|-が証明可能であることを言います

メタレベルでの証明の正当性を保証することはできません