métamathématique
adjectif* Mot issu de l'entrée MÉT-
: (Qui concerne, qui appartient à la) partie de la logique dont l'objet principal est la théorie des fondements des mathématiques (d'apr. Chamb. 1972). Énoncé métamathématique. Les progrès (...) touchant la connaissance du mécanisme des raisonnements mathématiques (...) font de la métamathématique moderne une science autonome d'un intérêt incontestable (, Hist. math., 1960, p.58). Une démonstration par l'absurde ne peut prouver l'existence métamathématique d'un assemblage ou d'une suite d'assemblages, il faut en donner une loi de construction explicite (, Hist. math., 1960, p.59).