(Alm. Metamathematik, f; Fr. métamathématique, f; İng. metamathematics) 

mat. İlkeleri, kavramsal ögeleri, tutarlılığı, matematik ve mantık sistemlerini bir bütün olarak inceleyen mantık ve felsefe  dalı; eşanlam: matematikötesi.

Bakınız: kanıtlama kuramı