METARİYAZİYYAT \[sübutlar nəzəriyyəsi\] – formal sistemlərin və hesablamaların müxtəlif xassələrinin öyrənilməsilə məşğul olan nəzəriyyə.