Metamathematik, die Untersuchung mathematischer Theorien, besonders ihrer Vollständigkeit, Widerspruchsfreiheit und Beweisstruktur, unter Verwendung formaler (d. h. im Wesentlichen logischer oder mengentheoretischer) Methoden. Der Terminus Metamathematik wird oft gleichbedeutend mit dem Begriff Beweistheorie verwendet. Eingeführt wurde er von D. Hilbert.