logique mathématique
discipline discipline des mathématiques étudiant celles-ci en tant que langage
Aussi : métamathé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. — Wikipédia (CC BY-SA)
Nature : branche des mathématiques, théorie mathématique
Catégories : disciplines académiques · théories scientifiques · sciences · concepts abstraits
Mots du lexique : logique nom commun, mathématique nom commun