This HTML5 document contains 63 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/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://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
dbr:Lindenbaum
dbo:wikiPageWikiLink
dbr:Lindenbaum's_lemma
dbo:wikiPageDisambiguates
dbr:Lindenbaum's_lemma
Subject Item
dbr:Lindenbaum's_lemma
rdf:type
yago:Message106598915 yago:Lemma106751833 yago:Communication100033020 yago:WikicatLemmas yago:Proposition106750804 yago:WikicatMathematicalTheorems yago:Abstraction100002137 yago:Statement106722453 yago:Theorem106752293
rdfs:label
Lemat Lindenbauma Lindenbaum's lemma Satz von Lindenbaum
rdfs:comment
Der Satz von Lindenbaum (auch Lemma von Lindenbaum, nach Adolf Lindenbaum) ist ein Ergebnis der mathematischen Logik. Er besagt, dass jede konsistente Formelmenge der Prädikatenlogik erster Stufe zu einer konsistenten und vollständigen Theorie erweitert werden kann. Eine solche Theorie wird auch als maximalkonsistent bezeichnet, da alle ihre echten Obermengen inkonsistent sind. Der Satz spielt eine wichtige Rolle beim Beweis des Gödelschen Vollständigkeitssatzes. In mathematical logic, Lindenbaum's lemma, named after Adolf Lindenbaum, states that any consistent theory of predicate logic can be extended to a complete consistent theory. The lemma is a special case of the ultrafilter lemma for Boolean algebras, applied to the Lindenbaum algebra of a theory. Lemat Lindenbauma – twierdzenie metamatematyczne, zwane tradycyjnie lematem. Sformułowane przez polskiego logika ze szkoły lwowsko-warszawskiej, Adolfa Lindenbauma. Ma ono szerokie zastosowanie w teorii modeli, m.in. w dowodach tzw. . Lemat Lindenbauma głosi, że dowolny niesprzeczny zbiór formuł można rozszerzyć do niesprzecznego i zupełnego zbioru formuł. Zapis formalny jest następujący (przez X oznaczamy zbiór formuł, a przez Fm zbiór wszystkich formuł nad danym przeliczalnym alfabetem):
dcterms:subject
dbc:Mathematical_logic dbc:Lemmas
dbo:wikiPageID
6625296
dbo:wikiPageRevisionID
1097834596
dbo:wikiPageWikiLink
dbr:Alfred_Tarski dbc:Lemmas dbr:Mathematical_logic dbc:Mathematical_logic dbr:Complete_theory dbr:Gödel's_completeness_theorem dbr:Boolean_algebra dbr:Oxford_University_Press dbr:Lindenbaum_algebra dbr:Ultrafilter_lemma dbr:Gödel's_incompleteness_theorem dbr:Predicate_logic dbr:Adolf_Lindenbaum dbr:Consistent_theory dbr:Computably_enumerable dbr:Peano_axioms
owl:sameAs
wikidata:Q2226746 n14:26xuZ freebase:m.0gf80g dbpedia-pl:Lemat_Lindenbauma yago-res:Lindenbaum's_lemma dbpedia-de:Satz_von_Lindenbaum
dbp:wikiPageUsesTemplate
dbt:Logic-stub dbt:Cite_book dbt:Cn
dbo:abstract
Der Satz von Lindenbaum (auch Lemma von Lindenbaum, nach Adolf Lindenbaum) ist ein Ergebnis der mathematischen Logik. Er besagt, dass jede konsistente Formelmenge der Prädikatenlogik erster Stufe zu einer konsistenten und vollständigen Theorie erweitert werden kann. Eine solche Theorie wird auch als maximalkonsistent bezeichnet, da alle ihre echten Obermengen inkonsistent sind. Der Satz spielt eine wichtige Rolle beim Beweis des Gödelschen Vollständigkeitssatzes. In mathematical logic, Lindenbaum's lemma, named after Adolf Lindenbaum, states that any consistent theory of predicate logic can be extended to a complete consistent theory. The lemma is a special case of the ultrafilter lemma for Boolean algebras, applied to the Lindenbaum algebra of a theory. Lemat Lindenbauma – twierdzenie metamatematyczne, zwane tradycyjnie lematem. Sformułowane przez polskiego logika ze szkoły lwowsko-warszawskiej, Adolfa Lindenbauma. Ma ono szerokie zastosowanie w teorii modeli, m.in. w dowodach tzw. . Lemat Lindenbauma głosi, że dowolny niesprzeczny zbiór formuł można rozszerzyć do niesprzecznego i zupełnego zbioru formuł. Zapis formalny jest następujący (przez X oznaczamy zbiór formuł, a przez Fm zbiór wszystkich formuł nad danym przeliczalnym alfabetem):
prov:wasDerivedFrom
wikipedia-en:Lindenbaum's_lemma?oldid=1097834596&ns=0
dbo:wikiPageLength
1501
foaf:isPrimaryTopicOf
wikipedia-en:Lindenbaum's_lemma
Subject Item
dbr:List_of_lemmas
dbo:wikiPageWikiLink
dbr:Lindenbaum's_lemma
Subject Item
dbr:Complete_theory
dbo:wikiPageWikiLink
dbr:Lindenbaum's_lemma
Subject Item
dbr:Adolf_Lindenbaum
dbo:wikiPageWikiLink
dbr:Lindenbaum's_lemma
dbp:knownFor
dbr:Lindenbaum's_lemma
dbo:knownFor
dbr:Lindenbaum's_lemma
Subject Item
dbr:Theory_(mathematical_logic)
dbo:wikiPageWikiLink
dbr:Lindenbaum's_lemma
Subject Item
dbr:Lindenbaum's_theorem
dbo:wikiPageWikiLink
dbr:Lindenbaum's_lemma
dbo:wikiPageRedirects
dbr:Lindenbaum's_lemma
Subject Item
dbr:Lindenbaum_lemma
dbo:wikiPageWikiLink
dbr:Lindenbaum's_lemma
dbo:wikiPageRedirects
dbr:Lindenbaum's_lemma
Subject Item
wikipedia-en:Lindenbaum's_lemma
foaf:primaryTopic
dbr:Lindenbaum's_lemma