This HTML5 document contains 34 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
n17https://www.britannica.com/topic/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
n10http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n6http://fr.dbpedia.org/resource/Modèle:
n11http://fr.dbpedia.org/resource/Modèle:Traduction/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n22http://ma-graph.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Extension_conservatrice
rdf:type
owl:Thing
rdfs:label
Conservative extension 保守扩展 Extension conservatrice
rdfs:comment
En logique mathématique, une théorie logique T2 est une extension conservatrice (ou conservative) d'une théorie T1 si le langage de T2 étend le langage de T1, si chaque théorème de T1 est un théorème de T2 et si tout théorème de T2 qui est dans le langage de T1 est déjà un théorème de T1. Une extension propre est une extension non conservative. si T2 est une extension conservatrice de T1, et si T1 est cohérente, alors T2 est également cohérente. Le démonstrateur automatique Isabelle adopte cette méthodologie en fournissant un langage pour les extensions conservatrices par définition.
rdfs:seeAlso
n17:conservative-extension
owl:sameAs
dbr:Conservative_extension dbpedia-zh:保守扩展 n10:0601dh dbpedia-sk:Konzervatívne_rozšírenie wikidata:Q864213 dbpedia-ko:보존적_확장 dbpedia-it:Estensione_conservativa n22:2780432614
dbo:wikiPageID
1423317
dbo:wikiPageRevisionID
189569797
dbo:wikiPageWikiLink
dbpedia-fr:Théorème dbpedia-fr:Isabelle_(logiciel) category-fr:Théorie_des_modèles dbpedia-fr:Démonstration_automatique_de_théorèmes dbpedia-fr:Logique_mathématique dbpedia-fr:Théorie_des_modèles
dbo:wikiPageLength
1544
dct:subject
category-fr:Théorie_des_modèles
prop-fr:wikiPageUsesTemplate
n6:Bases n6:Autorité n11:Référence n6:Ébauche n6:Portail n6:Dictionnaires n6:Etc
prov:wasDerivedFrom
wikipedia-fr:Extension_conservatrice?oldid=189569797&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Extension_conservatrice
dbo:abstract
En logique mathématique, une théorie logique T2 est une extension conservatrice (ou conservative) d'une théorie T1 si le langage de T2 étend le langage de T1, si chaque théorème de T1 est un théorème de T2 et si tout théorème de T2 qui est dans le langage de T1 est déjà un théorème de T1. Une extension propre est une extension non conservative. Informellement, cela veut dire que la nouvelle théorie peut éventuellement être plus commode pour prouver des théorèmes, mais qu’elle ne prouve pas de théorème nouveau concernant l'ancienne théorie. L'importance de cette notion réside dans le théorème suivant : si T2 est une extension conservatrice de T1, et si T1 est cohérente, alors T2 est également cohérente. Ainsi, les extensions conservatrices ne courent pas le risque d'introduire de nouvelles incohérences. Elles peuvent aussi être vues comme une méthode pour écrire et structurer des théories volumineuses : on commence avec une théorie T0 connue comme cohérente, puis on construit successivement des extensions conservatrices T1, T2, etc. Le démonstrateur automatique Isabelle adopte cette méthodologie en fournissant un langage pour les extensions conservatrices par définition.