METAMATHEMATIQUE
Publié le 22/02/2012
Extrait du document
Source: http://www.peiresc.org/DINER/Lexique.pdf
Mathématique des mathématiques. C'est une métathéorie.
Source: http://www.peiresc.org/DINER/Lexique.pdf
Partie de la logique mathématique qui étudie les théories mathématiques formalisées. L'apparition de la métamathématique est liée au programme défini par Hilbert du fondement des mathématiques.