Similar to 公理図式

Axiom of union

Formal language

Use–mention distinction

Type–token distinction

Metavariable