compacité (théorème de)
Cet article est extrait de l'ouvrage Larousse « Dictionnaire de la philosophie ».
Du latin compactus, participe passé de compingere, « réunir ensemble ».
Logique
Pour qu'un ensemble de formules du premier ordre possède un modèle, il suffit que chacun de ses sous-ensembles finis en possède un.
Jacques Dubucs
→ modèle