Logique mathématique

La logique mathématique ou métamathématique est une discipline des mathématiques inventée à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que système formel.