{"entities":{"Q2593898":{"pageid":2604641,"ns":120,"title":"Item:Q2593898","lastrevid":44431668,"modified":"2025-11-22T21:32:44Z","type":"item","id":"Q2593898","labels":{"en":{"language":"en","value":"Systems of logic based on ordinals."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2513117"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2593898$B812C51B-BF26-4B90-A9A1-74752FC0F9F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a33be4c559d0c035a66c184310241c443235e053","datavalue":{"value":{"text":"Systems of logic based on ordinals.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2593898$ACDA49B0-A8B7-4B04-BD75-DA1161E4E676","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da4a1778158a5bdde7f2f21d442875aaac77ac61","datavalue":{"value":"65.1102.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593898$602ED7CD-B108-4024-B6E6-7EF5DEA0C299","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0355dbed6289ee949e5a70974729934b3a9b008","datavalue":{"value":{"entity-type":"item","numeric-id":2593897,"id":"Q2593897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2593898$75AA84D2-D508-4507-97FB-D07577AC3345","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"569f7eee57c92af30f0779849471ff124ef80fbe","datavalue":{"value":{"entity-type":"item","numeric-id":563364,"id":"Q563364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2593898$A5C2EDF4-B697-49D2-A3A5-98DFA574906C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2593898$AC208CB1-3F77-4CD6-AE7C-635487E19F65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff2062951fdca2e09e27d50d5b94f09423fc2655","datavalue":{"value":"http://hdl.handle.net/21.11116/0000-0001-91CE-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2593898$6205F470-EDA4-44CA-85D6-3BB989C5CBF3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb5cb9b11e117557136132a4cacb66fbdb63989f","datavalue":{"value":"Nach einem bekannten Satze von G\u00f6del ist jeder logische Formalismus in gewissem Sinne unvollst\u00e4ndig. Es lassen sich n\u00e4mlich in ihm S\u00e4tze formulieren'' die nicht mit den Mitteln des Formalismus entschieden werden k\u00f6nnen, obwohl diese Entscheidung anderweitig m\u00f6glich ist. Verf. betrachtet nun nach Ordinal\\-zahlen fortschreitende Folgen von logischen Systemen, die immer umfassender werden in dem Sinne, da\u00df in jedem System mehr beweisbar ist als in den vorangehenden. Die Frage ist dann, ob es eine derartige Folge gibt, die in dem Sinne vollst\u00e4ndig ist, da\u00df zu jedem formulierbaren Satz \\(\\mathfrak A\\) eine entsprechende Ordinalzahl geh\u00f6rt, so da\u00df \\(\\mathfrak A\\) in dem System entscheidbar ist, zu dem diese Ordinalzahl geh\u00f6rt.  Die exakte Formulierung und Beantwortung dieser Frage erfordert zun\u00e4chst eine Festlegung des Begriffs der konstruktiven Ordinalzahl, die im Anschlu\u00df an Untersuchungen von Church und Kleene geschieht. Es werden dann ordinale Folgen, von logischen Systemen definiert, die teils eine Erweiterung des Systems der Principia Mathematica darstellen, teils auf Ideen von \\textit{A. Church} [Mathematical logic (1935-1936; JFM 62.1048.04), Kap. X], \\textit{D. Hilbert} [Math. Ann., Berlin, 95, 161--190 (1925; JFM 51.0044.02)] oder \\textit{G. Gentzen} beruhen [Math. Ann. 112, 493--565 (1936; JFM 62.0044.01; Zbl 0014.38801)]. Verschiedene dieser Folgen sind vollst\u00e4ndig in dem an\\-gegebenen Sinne. Ein Widerspruch zu dem G\u00f6delschen Satze entsteht dadurch nicht; denn das Beweisverfahren innerhalb einer derartigen Folge l\u00e4\u00dft sich nicht vollst\u00e4ndig mechanisieren, sondern es m\u00fcssen inhaltliche \u00dcberlegungen hinzu\\-kommen. Es h\u00e4ngt das damit zusammen, da\u00df es unm\u00f6glich ist, eine allgemeine Methode zu finden, mit deren Hilfe man entscheiden k\u00f6nnte, ob eine gegebene Formel eine Ordinalzahl darstellt oder nicht. Von den \u00fcbrigen Ergebnissen erw\u00e4hnen wir noch die Aufstellung eines konstruktiven Analogous der Kontinuumshypothese, das sich als zutreffend erweist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2593898$3639C571-BF77-4827-8545-17254DA657D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"922b51fc1ffef56c56c756107692db6996331cc3","datavalue":{"value":"2513117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593898$B510A383-F793-4A42-9AF3-826BB5B8444C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"90fcc3bb08b69d858fae757fc6dfe15262970ee7","datavalue":{"value":"Q7663875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593898$D11A5AFA-B8C2-44A5-AF17-5C7CD3B84EF6","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2593898$6FCE6099-CA41-46B2-A52F-70E63FB4B941","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1279132ead9598b474d9cb4d73fd1e8bec57b54b","datavalue":{"value":"W4291166496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593898$2BEB9BC8-2535-40BD-A6E8-D4B7BED47050","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06101ba30f6d856d0e590ae599a70795db3739a6","datavalue":{"value":"10.1112/PLMS/S2-45.1.161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593898$18D2D9D4-41E1-47E4-96E4-BB76AEE1A734","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2593898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2593898"}}}}}