# Formacode 11058 — Logique mathématique

**Type :** Descripteur
**Code :** 11058
**Synonymes :** LOGIQUE MATHEMATIQUE
**Arborescence :** Sciences › Mathématiques › Logique mathématique

## Définition
Science de la démonstration qui consiste en l'étude des rapports formels existant entre les propositions, indépendamment de toute interprétation.


## Correspondances
- **NSF :** 114
- **GFE :** W

## Certifications indexées (0)
_Aucune certification active indexée sous ce code._

---
*Source : Formacode® V14 — Centre Inffo, données ouvertes (Licence Ouverte 2.0). Généré le 07/10/2026 à 19:20.*