Category:メタ論理学

Proof theory

Use–mention distinction

Metavariable

Axiom schema

Model theory

Metalogic

Type–token distinction

Formal language