métamathématique (N) — mathématique (N)
métamathématique : Science dont l'objet est la théorie des fondements des mathématiques.