Similar to メタ変数

Axiom schema

Use–mention distinction

Proof theory

Type–token distinction

Metalogic

Model theory