Metamathematik ist die mathematische Betrachtung der Grundlagen der Mathematik.
Im Jahre 1920 stellte der Mathematiker David Hilbert die Forderung auf, die Mathematik auf die Grundlage eines vollständigen und widerspruchsfreien Axiomensystems zu stellen. Dieses Bestreben wurde als Hilberts Programm bekannt. Für die Analyse der Grundlagen der Mathematik mit mathematischen Methoden prägte er den ...
