metariyaziyyat
\ – formal sistemlərin və hesablamaların müxtəlif xassələrinin öyrənilməsilə məşğul olan nəzəriyyə.
\ – istər metariyaziyyatda və metaməntiqdə, istərsədə bütövlükdə Elmdə mühüm rol oynayan semantik anlayış.