Metaphilosophy
Mathematics
Gödel–Gentzen negative translation
Maximum likelihood
Metalogic
Model theory
Logic