métamathématique

== Français == === Étymologie === (XIXe siècle) De mathématique avec le préfixe méta-. === Adjectif === 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 no 61, novembre 2017, page 106) ==== Traductions ==== === Nom commun === 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 ==== === 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