About: http://dbpedia.org/resource/Gentzen's_consistency

Property	Value
dbo:description	mathematical logic concept (en) conceito de lógica matemática (pt) concepte lògic matemàtic (ca)
dbo:wikiPageExternalLink	http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002278391 http://folk.uio.no/herman/bevisteori.ps http://home.uchicago.edu/~wwtx/GoedelandNCInew1.pdf%7Cissn=1079-8986%7Cdoi=10.2178/bsl/1120231632%7Cs2cid=9481361 http://blms.oxfordjournals.org/content/14/4/285.full.pdf%7Carchive-url=https:/web.archive.org/web/20140912192723/http:/blms.oxfordjournals.org/content/14/4/285.full.pdf%7Curl-status=dead%7Carchive-date=2014-09-12%7Cdoi=10.1112/blms/14.4.285%7Cciteseerx=10.1.1.107.3303 https://web.archive.org/web/20110607104500/http:/folk.uio.no/herman/bevisteori.ps https://archive.org/details/collectedpaperso0000gent https://books.google.com/books%3Fid=gDzbuUwma5MC&pg=PA87 https://books.google.com/books%3Fid=wc4R0BHdo-sC http://www.mathnet.ru/links/66e95bde0afcc6b1153f969482e61ddb/rm7377.pdf
dbo:wikiPageWikiLink	dbr:Ordinal_arithmetic dbr:Gerhard_Gentzen dbr:Wilhelm_Ackermann dbr:Recursion dbr:Peano_axioms dbr:Quantifier_(logic) dbc:Proof_theory dbr:Factorial dbr:Paul_Bernays dbr:Proof_theory dbr:Robinson_arithmetic dbr:Hermann_Weyl dbr:Gödel's_completeness_theorem dbr:Goodstein's_theorem dbr:Tree_(set_theory) dbr:Ordinal_number dbr:Solomon_Feferman dbr:Transfinite_induction dbr:Primitive_recursive_arithmetic dbr:Annals_of_Mathematics dbc:Metatheorems dbr:Kurt_Gödel dbr:Mathematical_logic dbr:Large_countable_ordinal dbr:Jeff_Paris_(mathematician) dbr:Ordinal_analysis dbr:Ordinal_notation dbr:Natural_number dbr:Comparability dbr:Recursive_set dbr:Fibonacci_number dbr:Interpretability dbr:Epsilon_numbers_(mathematics) dbr:Consistent dbr:Bull._London_Math._Soc. dbr:Primitive_recursive dbr:Well-ordering dbr:Gödel's_second_incompleteness_theorem dbr:Laurence_Kirby
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:Sfn dbt:Citation dbt:Mathematical_logic dbt:Harv dbt:Harvid dbt:Harvtxt dbt:Short_description
dct:subject	dbc:Proof_theory dbc:Metatheorems
gold:hypernym	dbr:Result
rdfs:label	Gentzen's consistency proof (en) 겐첸의 일관성 증명 (ko)
owl:sameAs	freebase:m.0bgwt8 wikidata:Q5533794 dbpedia-ko:겐첸의_일관성_증명 dbpedia-global:4kXEP
prov:wasDerivedFrom	wikipedia-en:Gentzen's_consistency_proof?oldid=1274478799&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Gentzen's_consistency_proof
is dbo:knownFor of	dbr:Gerhard_Gentzen
is dbo:wikiPageRedirects of	dbr:Gentzen's_theorem dbr:Gentzen_consistency_proof
is dbo:wikiPageWikiLink of	dbr:Gerhard_Gentzen dbr:Sequent_calculus dbr:Peano_axioms dbr:Consistency dbr:Kuno_Lorenz dbr:Cut-elimination_theorem dbr:Gödel's_incompleteness_theorems dbr:Robinson_arithmetic dbr:Epsilon_number dbr:Presburger_arithmetic dbr:Primitive_recursive_arithmetic dbr:Hilbert's_program dbr:Theorem dbr:List_of_mathematical_logic_topics dbr:Ordinal_analysis dbr:Gentzen's_theorem dbr:Gentzen_consistency_proof
is dbp:knownFor of	dbr:Gerhard_Gentzen
is foaf:primaryTopic of	wikipedia-en:Gentzen's_consistency_proof

About: http://dbpedia.org/resource/Gentzen's_consistency_proof