About: Gödel teljességi tétele

Property	Value
dbo:abstract	Gödel teljességi tétele a matematikai logika fontos tétele, azt mondja ki, hogy ha egy elsőrendű elméletben egy tetszőleges mondat minden modellben igaz, akkor bizonyítható is. (hu) Gödel teljességi tétele a matematikai logika fontos tétele, azt mondja ki, hogy ha egy elsőrendű elméletben egy tetszőleges mondat minden modellben igaz, akkor bizonyítható is. (hu)
dbo:wikiPageID	174561 (xsd:integer)
dbo:wikiPageLength	4563 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	19178171 (xsd:integer)
prop-hu:wikiPageUsesTemplate	dbpedia-hu:Sablon:Portál
dct:subject	dbpedia-hu:Kategória:Matematikai_logika dbpedia-hu:Kategória:Matematikai_tételek
rdfs:label	Gödel teljességi tétele (hu) Gödel teljességi tétele (hu)
owl:sameAs	freebase:Gödel teljességi tétele
prov:wasDerivedFrom	wikipedia-hu:Gödel_teljességi_tétele?oldid=19178171&ns=0
foaf:isPrimaryTopicOf	wikipedia-hu:Gödel_teljességi_tétele
is foaf:primaryTopic of	wikipedia-hu:Gödel_teljességi_tétele