Mot : métamathématique
Catégorie : Adj
Définition : Qui concerne, qui appartient à cette théorie des fondements des mathématiques.
Exemples : É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, 1960, p. 59