Det mest grunnleggende innenfor metalogiske studier er formelle språk, formelle systemer, og deres tolkning. Studien av tolkningen til formelle systemer kalles modellteori, og stuiden om deduktive systemer kalles bevisteori.