##  [Théorie du Premier Ordre](/fr/node/61546) 

  ##  [Théorie du Premier Ordre](https://puremath.quantumdictionary.io/fr/node/61547) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics & Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Un ensemble de phrases formulées en logique du premier ordre sur une signature fixée, fermé sous conséquence logique, qui spécifie des propriétés devant être vérifiées dans les structures de cette signature.

 

 

 

 

 





 

 



 ##  [Théorie du Premier Ordre](https://algebra.quantumdictionary.io/fr/node/63591) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Un ensemble de phrases du premier ordre dans un vocabulaire fixé — pris tel quel ou comme générateur de sa clôture déductive — dont les modèles sont les structures satisfaisant toutes les phrases de l'ensemble.