@prefix owl:	<http://www.w3.org/2002/07/owl#> .
<http://dbpedia.org/resource/Original_proof_of_G%C3%B6del%27s_completeness_theorem>	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000001aa73> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
<http://dbpedia.org/resource/Original_proof_of_G%C3%B6del%27s_completeness_theorem>	foaf:page	<http://en.wikipedia.org/wiki/Original_proof_of_G%C3%B6del%27s_completeness_theorem> .
@prefix dbpprop:	<http://dbpedia.org/property/> .
<http://dbpedia.org/resource/Original_proof_of_G%C3%B6del%27s_completeness_theorem>	dbpprop:reference	<http://plato.stanford.edu/entries/goedel/> ,
		<http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Godel.html> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
<http://dbpedia.org/resource/Original_proof_of_G%C3%B6del%27s_completeness_theorem>	rdfs:label	"Original proof of G\u00F6del's completeness theorem"@en ;
	dbpprop:abstract	"The proof of G\u00F6del's completeness theorem given by Kurt G\u00F6del in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are outdated and terminology that is often obscure. The version given below attempts to faithfully represent all the steps in the proof and all the important ideas, while restating the proof in the modern language of mathematical logic. This outline should not be considered a rigorous proof of the theorem."@en ;
	rdfs:comment	"The proof of G\u00F6del's completeness theorem given by Kurt G\u00F6del in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are outdated and terminology that is often obscure. The version given below attempts to faithfully represent all the steps in the proof and all the important ideas, while restating the proof in the modern language of mathematical logic."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns5:	<http://dbpedia.org/resource/Category:> .
<http://dbpedia.org/resource/Original_proof_of_G%C3%B6del%27s_completeness_theorem>	skos:subject	ns5:Model_theory ,
		ns5:Mathematical_theorems ,
		ns5:Mathematical_logic ,
		ns5:Proof_theory ,
		ns5:Logic ,
		ns5:Proofs ;
	dbpprop:hasPhotoCollection	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Original_proof_of_G%C3%B6del%27s_completeness_theorem> .
@prefix ns6:	<http://dbpedia.org/resource/Goedels_completeness_theorem/> .
ns6:Original_Proof	dbpprop:redirect	<http://dbpedia.org/resource/Original_proof_of_G%C3%B6del%27s_completeness_theorem> .
<http://dbpedia.org/resource/Original_proof_of_Goedel%27s_completeness_theorem>	dbpprop:redirect	<http://dbpedia.org/resource/Original_proof_of_G%C3%B6del%27s_completeness_theorem> ,
		<http://dbpedia.org/resource/Original_proof_of_G%C3%B6del%27s_completeness_theorem> .