Théorie du Premier Ordre
- 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
- 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.