論理では、命題だけではなくてメタ命題も扱います。メタ命題で使う記号〈メタ記号〉に ’$`\vdash`$’ や ’$`\models`$’ があります。どちらも「命題はほんとうだ」という意味で使います（が、ほんとうである根拠は違います）。「‥‥という命題はほんとうだ」と…