Bonjour,

Je dois énoncer l'une des formes du théorème de complétude de Gödel et l'utiliser pour démontrer que la théorie des ordres parties non-totaux , dirigés est bien consistante et je dois énoncer formellement les axiomes de cette théorie.

Je pense utiliser la forme: consistant <=> M modèle de ...

Merci de votre aide!