métamathématique
nom féminin
- Théorie ayant pour objet l'étude des propriétés métathéoriques des théories mathématiques formalisées, notamment leur consistance et leur complétude. (C'est Hilbert qui a défini la métamathématique, en lui assignant pour objectif la formalisation des théories mathématiques. Tarski a repris ce concept en l'élargissant aux théories formalisées en général et en en faisant un domaine spécifique, subdivisé en syntaxe et sémantique.)