métamathématique

(XIX^e siècle) De mathématique avec le préfixe méta-.

métamathématique \me.ta.ma.te.ma.tik\ féminin

1. Science dont l’objet est la théorie des fondements des mathématiques.
   • 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. — (Nicolas Bourbaki, Éléments d’histoire des mathématiques, page 58, éditeur Hermann, 1960)

métamathématique \me.ta.ma.te.ma.tik\ masculin et féminin identiques

1. Qui concerne, qui appartient à cette théorie des fondements des mathématiques.
   • Énoncé métamathématique.
   • 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. — (Nicolas Bourbaki, Éléments d’histoire des mathématiques, éditeur Hermann, 1960, page 59.)
   • Dans cet esprit, un axiome est considéré comme « vrai » s’il conduit à une théorie utile. Bien entendu, une telle définition est proprement métamathématique. — (Hervé Lehning, La multiplicité des infinis, Bibliothèque Tangente n^o 61, novembre 2017, page 106.)

• métamathématique sur l’encyclopédie Wikipédia

• « métamathématique », dans TLFi, Le Trésor de la langue française informatisé, 1971-1994 → consulter cet ouvrage