{"id":"https://openalex.org/W2014386243","doi":"https://doi.org/10.2307/2266239","title":"\u00dcber <i>\u03c9</i>-Unvollst\u00e4ndigkeit in der Peano-Arithmetik","display_name":"\u00dcber <i>\u03c9</i>-Unvollst\u00e4ndigkeit in der Peano-Arithmetik","publication_year":1952,"publication_date":"1952-06-01","ids":{"openalex":"https://openalex.org/W2014386243","doi":"https://doi.org/10.2307/2266239","mag":"2014386243"},"language":"de","primary_location":{"id":"doi:10.2307/2266239","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2266239","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004716288","display_name":"G. Hasenjaeger","orcid":null},"institutions":[{"id":"https://openalex.org/I22465464","display_name":"University of M\u00fcnster","ror":"https://ror.org/00pd74e08","country_code":"DE","type":"education","lineage":["https://openalex.org/I22465464"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"G. Hasenjaeger","raw_affiliation_strings":["Universit\u00e4t M\u00fcnster","Universit\u00e4t M\u00dcNSTER"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t M\u00fcnster","institution_ids":["https://openalex.org/I22465464"]},{"raw_affiliation_string":"Universit\u00e4t M\u00dcNSTER","institution_ids":["https://openalex.org/I22465464"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5004716288"],"corresponding_institution_ids":["https://openalex.org/I22465464"],"apc_list":null,"apc_paid":null,"fwci":5.0528,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.94117647,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"2","first_page":"81","last_page":"97"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.920199990272522,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.920199990272522,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.919700026512146,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.5142473578453064},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.4736432135105133},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.45098716020584106}],"concepts":[{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.5142473578453064},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.4736432135105133},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.45098716020584106}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2307/2266239","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2266239","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W793130273","https://openalex.org/W878043872","https://openalex.org/W974833840","https://openalex.org/W1960494084","https://openalex.org/W1975259197","https://openalex.org/W1975810242","https://openalex.org/W2004839050","https://openalex.org/W2057503265","https://openalex.org/W2114804254","https://openalex.org/W2128969865","https://openalex.org/W2320642324","https://openalex.org/W2331346174","https://openalex.org/W4256369010"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2935759653","https://openalex.org/W3105167352","https://openalex.org/W54078636","https://openalex.org/W2954470139","https://openalex.org/W1501425562","https://openalex.org/W2902782467","https://openalex.org/W3084825885","https://openalex.org/W2298861036","https://openalex.org/W3148032049"],"abstract_inverted_index":{"Unter":[0],"der":[1,11,16,20,157,177,187,195,197],"Peano-Arithmetik":[2,178],"verstehe":[3],"ich":[4],"im":[5,155,171],"Folgenden":[6,172],"eine":[7,141],"\u00fcber":[8],"dem":[9,48],"Pr\u00e4dikatenkalk\u00fcl":[10],"ersten":[12,188],"Stufe":[13,189],"formalisierte":[14],"Arithmetik":[15,159],"nat\u00fcrlichen":[17],"Zahlen,":[18],"in":[19,47,58,89,114,182],"als":[21,35],"au\u00dferlogische":[22],"Konstanten":[23],"nur":[24],"Symbole":[25],"f\u00fcr":[26,68,173],"die":[27,29,32,50,100,179,185],"Null,":[28],"Nachfolgeroperation":[30],"und":[31,72],"Gleichheitsbeziehung":[33],"(die":[34],"mathematischer":[36],"Grundbegriff":[37],"aufgefa\u00dft":[38],"wird)":[39],"vorkommen.":[40],"Ein":[41,105,121],"Ausdruck":[42,119],"H":[43],"(":[44],"c":[45,49],"),":[46,164],"einzige":[51],"freie":[52],"Variable":[53],"ist,":[54],"hei\u00dfe:":[55],"\u2200-":[56],"defekt":[57],"Bezug":[59,115,183],"auf":[60,116,184],"ein":[61,87],"(deduktives)":[62],"System":[63,85,106],"S":[64,78,107,117],",":[65,71,110,126],"wenn":[66,111,127],"(a)":[67],"jede":[69],"Ziffer":[70],"(b)":[73],"nicht":[74],"\u2200":[75],"xH(x)":[76],"\u03f5":[77],".":[79,206],"Im":[80],"allgemeinen":[81],"wird":[82],"das":[83,167],"deduktive":[84],"durch":[86,200],"Axiomensystem":[88,122],"Verbindung":[90],"mit":[91],"einer":[92],"Syntax":[93],"gegeben":[94],"sein.":[95],"Auf":[96],"diesen":[97],"Fall":[98,156],"soil":[99],"Redeweise":[101],"sinngem\u00e4\u00df":[102],"\u00fcbertragen":[103],"werden.":[104],"hei\u00dfe":[108,124],"\u03c9-unvollst\u00e4ndig":[109],"es":[112],"einen":[113],"\u2200-defekten":[118,203],"gibt.":[120],"A":[123,135],"kategorisch":[125],"beliebige":[128],"absolute":[129],"Modelle":[130],"(s.":[131],"Abschnitt":[132],"IV)":[133],"von":[134],"isomorph":[136],"sind.":[137],"Die":[138],"Kategorizit\u00e4t":[139],"stellt":[140],"gewisse":[142],"Vollst\u00e4ndigkeit":[143],"des":[144],"Axiomensystems":[145],"dar.":[146],"Da\u00df":[147],"solche":[148],"Axiomensysteme":[149,176],"\u03c9":[150,180,198],"-unvollstandig":[151],"sein":[152],"k\u00f6nnen":[153],"(bzw.":[154],"ausdrucksreicheren":[158],"nach":[160],"G\u00f6del":[161],"sogar":[162],"m\u00fcssen":[163],"ist":[165],"eben":[166],"\u00dcberraschende.":[168],"Ich":[169],"werde":[170],"zwei":[174],"kategorische":[175],"-Unvollst\u00e4ndigkeit":[181,199],"Pr\u00e4dikatenlogik":[186],"nachweisen.":[190],"In":[191],"beiden":[192],"Fallen":[193],"gelingt":[194],"Nachweis":[196],"Diskussion":[201],"eines":[202],"Ausdrucks":[204],"H(c)":[205]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}