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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
n10https://www.britannica.com/topic/
dbpedia-pmshttp://pms.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
n29https://ncatlab.org/nlab/show/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
dbpedia-eohttp://eo.dbpedia.org/resource/
n16http://g.co/kg/m/
dbpedia-hehttp://he.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n31https://www.quora.com/topic/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
n12http://fr.dbpedia.org/resource/Modèle:
n7http://fr.dbpedia.org/resource/Fichier:
n20http://commons.wikimedia.org/wiki/Special:FilePath/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n6http://ma-graph.org/entity/
dbpedia-ithttp://it.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#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Théorème_de_compacité
rdfs:label
Теорема про компактність Teorema di compattezza (logica matematica) Théorème de compacité Kompaktheitssatz (Logik) コンパクト性定理 Compacidad (lógica) Compactness theorem
rdfs:comment
En logique mathématique, un théorème de compacité énonce que si toute partie finie d'une théorie est satisfaisable alors la théorie elle-même est satisfaisable. Il existe des logiques où il y a un théorème de compacité comme le calcul propositionnel ou la logique du premier ordre (on parle de logiques compactes). Il existe aussi des logiques sans théorème de compacité. Commençons l'article par un exemple informel où il n'y a pas de théorème de compacité en considérant la théorie suivante :
rdfs:seeAlso
n10:compactness-theorem n29:compactness_theorem n31:Compactness-Theorem
owl:sameAs
dbpedia-it:Teorema_di_compattezza_(logica_matematica) n6:171636804 dbpedia-pt:Teorema_da_compacidade dbpedia-zh:紧致性定理 dbpedia-sr:Теорема_компактности dbpedia-ru:Теорема_Гёделя_о_компактности n16:013tmj wikidata:Q1149458 dbpedia-cs:Věta_o_kompaktnosti dbpedia-eo:Kompakteca_teoremo dbpedia-he:משפט_הקומפקטיות dbpedia-de:Kompaktheitssatz_(Logik) dbpedia-ja:コンパクト性定理 dbpedia-uk:Теорема_про_компактність dbpedia-pl:Twierdzenie_o_zwartości dbr:Compactness_theorem dbpedia-pms:Teorema_ëd_compatëssa dbpedia-es:Compacidad_(lógica) dbpedia-ko:콤팩트성_정리
dbo:wikiPageID
202137
dbo:wikiPageRevisionID
188036053
dbo:wikiPageWikiLink
dbpedia-fr:Compacité_(mathématiques) n7:Wang_tesselation.svg dbpedia-fr:Fermé_(topologie) dbpedia-fr:Théorème_de_Herbrand dbpedia-fr:Logique_temporelle_linéaire dbpedia-fr:Espace_séparé dbpedia-fr:Satisfaisabilité dbpedia-fr:Logique_modale dbpedia-fr:Logique_mathématique dbpedia-fr:Ensemble_inductif dbpedia-fr:Lemme_de_Zorn dbpedia-fr:Signature_(logique) dbpedia-fr:Théorème_de_De_Bruijn-Erdős_(théorie_des_graphes) n7:Theoreme_de_de_bruijn_erdos.png dbpedia-fr:Ultrafiltre dbpedia-fr:Théorème_de_Löwenheim-Skolem dbpedia-fr:Jon_Barwise dbpedia-fr:Formule_de_Sahlqvist dbpedia-fr:Topologie_produit dbpedia-fr:Théorème_de_Lindström dbpedia-fr:Théorie_complète dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Ultraproduit dbpedia-fr:Théorème_de_Tykhonov dbpedia-fr:Calcul_des_propositions dbpedia-fr:Théorie_des_modèles category-fr:Théorème_de_logique_mathématique dbpedia-fr:Modèle_non_standard_de_l'arithmétique dbpedia-fr:Modèle_non_standard dbpedia-fr:Théorème_de_complétude_de_Gödel dbpedia-fr:Lemme_de_König n7:Theoreme_compacite.gif dbpedia-fr:Théorème_des_quatre_couleurs
dbo:wikiPageLength
21530
dct:subject
category-fr:Théorème_de_logique_mathématique
prop-fr:wikiPageUsesTemplate
n12:Théorème n12:Ébauche n12:Retrait n12:À_définir n12:Démonstration n12:Référence_nécessaire n12:Références n12:Portail n12:Lien
prov:wasDerivedFrom
wikipedia-fr:Théorème_de_compacité?oldid=188036053&ns=0
foaf:depiction
n20:Wang_tesselation.svg n20:Theoreme_compacite.gif n20:Theoreme_de_de_bruijn_erdos.png
dbo:thumbnail
n20:Theoreme_compacite.gif?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Théorème_de_compacité
dbo:abstract
En logique mathématique, un théorème de compacité énonce que si toute partie finie d'une théorie est satisfaisable alors la théorie elle-même est satisfaisable. Il existe des logiques où il y a un théorème de compacité comme le calcul propositionnel ou la logique du premier ordre (on parle de logiques compactes). Il existe aussi des logiques sans théorème de compacité. Commençons l'article par un exemple informel où il n'y a pas de théorème de compacité en considérant la théorie suivante : un jour, il ne pleuvra pas ; il pleut ; demain il pleut ; après-demain il pleut ; dans 3 jours il pleut ; dans 4 jours il pleut ;… La théorie n'est pas satisfaisable (toutes les phrases ne peuvent être vraies en même temps). Pourtant, toute partie finie est satisfaisable. En d'autres termes, la logique temporelle linéaire n'est pas compacte.