| "Dépend de la complétude. Il n'y a pas de contradictions dans le modèle." [lang: fr] |
| •owl:Thing |
| •axiom:Metalogique |
| •axiom:Informe |
| •axiom:Conclusions |
| •axiom:Consistence |
Class(urn:oid:1.3.6.1.4.1.27630.3.1#Consistence partial urn:oid:1.3.6.1.4.1.27630.3.1#Conclusions)
DisjointClasses(urn:oid:1.3.6.1.4.1.27630.3.1#Consistence urn:oid:1.3.6.1.4.1.27630.3.1#Completude
urn:oid:1.3.6.1.4.1.27630.3.1#Decidabilite)