meʹtamatematik, ursprungligen benämning på den bevisteori som med finita medel skulle förverkliga Hilberts program, numera ofta benämning på logiskt studium av formella matematiska system utan begränsning till finita medel.