métamathématique
Français[modifier le wikicode]
Étymologie[modifier le wikicode]
- (XIXe siècle) De mathématique avec le préfixe méta-.
Adjectif [modifier le wikicode]
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
- 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° 61, novembre 2017, page 106)
Traductions[modifier le wikicode]
- Anglais : metamathematical (en), meta-mathematical (en)
- Italien : metamatematico (it)
- Portugais : metamatemático (pt)
Nom commun [modifier le wikicode]
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
- 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[modifier le wikicode]
- 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[modifier le wikicode]
- métamathématique sur l’encyclopédie Wikipédia
Références[modifier le wikicode]
- « métamathématique », dans TLFi, Le Trésor de la langue française informatisé, 1971–1994 → consulter cet ouvrage