métamathématique

Français

Étymologie

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

Adjectif

	Singulier	Pluriel
Masculin et féminin	métamathématique	métamathématiques
	\me.ta.ma.te.ma.tik\

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)

Traductions

• Anglais : metamathematical (en), meta-mathematical (en)
• Italien : metamatematico (it)
• Portugais : metamatemático (pt)

Nom commun

Singulier	Pluriel
métamathématique	métamathématiques
\me.ta.ma.te.ma.tik\

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, éditeur Hermann, 1960, page 58)

Traductions

• Allemand : Metamathematik (de) féminin
• Anglais : metamathematics (en), meta-mathematics (en)
• Arabe : منطق رياضياتي (ar)
• Catalan : metamatemàtica (ca)
• Espagnol : metamatemática (es)
• Italien : metamatematica (it) féminin
• Portugais : metamatemática (pt)

Voir aussi

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

Références

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