Accueil > langue française > dictionnaire > métamathématique n.f.

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.)