##  [Théorie Équationnelle](/fr/node/62429) 

  ##  [Théorie Équationnelle](https://puremath.quantumdictionary.io/fr/node/62430) 

  

 [![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

Une théorie du premier ordre dans une signature algébrique fixe dont les axiomes sont exclusivement des égalités de termes portées par une quantification universelle, et qui est close par conséquence en logique équationnelle.

 

 

 

 

 





 

 



 ##  [Théorie Équationnelle](https://algebra.quantumdictionary.io/fr/node/63581) 

  

 [![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

Une théorie du premier ordre dont les axiomes sont exclusivement des équations entre termes sur une signature ; ses modèles sont exactement les algèbres dans lesquelles les identités énoncées valent universellement.