Mot : métamathématique
Catégorie : N
Définition : Science dont l'objet est la théorie des fondements des mathématiques.
Exemples : 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, 1960, p. 58