Logique Mathématique

discipline

discipline des mathématiques étudiant celles-ci en tant que langage

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.

Logique Mathématique

Propriétés

p279_labels
logique