{"entities":{"Q562811":{"pageid":564578,"ns":120,"title":"Item:Q562811","lastrevid":62806686,"modified":"2026-04-11T08:33:31Z","type":"item","id":"Q562811","labels":{"en":{"language":"en","value":"\u00dcber Stufen der Quantifikation und die Logik des Unendlichen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2548999"}},"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":"Q562811$207880FF-402D-44B9-9AEC-79567A6B75E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8c85d041bf82c07d760197673a8abc10d84276f","datavalue":{"value":{"text":"\u00dcber Stufen der Quantifikation und die Logik des Unendlichen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q562811$6F93CDA1-4E52-4ADB-B727-63DA94F26002","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"371a8b83aeb816767666ff38d9476602301de478","datavalue":{"value":"58.0060.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q562811$93B62DB6-1AE7-4ECA-BF71-C265A146F661","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e4e9f74f433df1c7c3e6e0c6ffc626db22235172","datavalue":{"value":{"entity-type":"item","numeric-id":169192,"id":"Q169192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q562811$91A03D9E-E4FF-4EBA-B088-023E10229314","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bbb53abe68aac0eeb25dacc2ea1a7274c90a69a","datavalue":{"value":{"time":"+1932-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":"Q562811$1B23A5CE-BE38-4863-945F-4A74916C2561","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe359c6a71cc5bc30f265d079a872836abbfdd66","datavalue":{"value":"Verf. wendet sich hier in sch\u00e4rfster Weise gegen das ``finitistische Vorurteil'', d. h. gegen die Annahme, da\u00df alle mathematischen Begriffe und S\u00e4tze durch ein festes, endliches Zeichensystem darstellbar sein m\u00fc\u00dften, und entwickelt die Grundgedanken einer eigenen mathematischen Logik, die frei von dem angegebenen Vorurteil sein soll. Danach liegt jeder mathematischen Theorie ein im allgemeinen unendlicher Urbereich von Elementen \\(x, y, z,\\ldots \\) zugrunde, zwischen denen Grundrelationen \\(q(s, y, z,\\ldots )\\) bestehen k\u00f6nnen. Aus den Grundrelationen werden weitere abgeleitete Relationen oder S\u00e4tze gebildet durch die logischen Elementaroperationen der Negation, Konjunktion und Disjunktion (unter Einschlu\u00df der unendlichen Konjunktionen und Disjunktionen, d. h. von ``alle'' und ``es gibt''). Auf diese Weise entstehen Satzsysteme, die wieder unendlich sein k\u00f6nnen, aber zur Vermeidung eines circulus in definiendo ``wohlfundiert'' sein m\u00fcssen. Ein Satzsystem \\(S\\) hei\u00dft wohlfundiert in bezug auf eine erzeugende Operation \\(f\\), wenn jedes (echte oder unechte) Teilsystem \\(T\\) von \\(S\\) mindestens einen Satz \\(t\\) enth\u00e4lt, der von keinem weiteren Satze \\(t\\) aus \\(T\\) abh\u00e4ngt, d. h. zu ihm in der Beziehung \\(f\\) steht. F\u00fcr einen derartigen Bereich gilt das allgemeine Entwicklungstheorem, demzufolge jeder solche Bereich eindeutig in eine wohlgeordnete Folge von Schichten \\(Q_\\alpha \\) zerlegt werden kann, so da\u00df die Elemente einer Schicht \\(Q_\\alpha \\) immer nur von solchen vorangehender Schichten abh\u00e4ngen.  Nach dem vorliegenden kurzen Bericht des Verf. scheinen seine Anschauungen doch nicht so unvereinbar mit denen von \\textit{Goedel}, \\textit{Skolem} usw. zu sein, wie er annimmt. Denn wenn das ``finitistische Vorurteil'' in dem Sinne, wie es der Verf. auffa\u00dft, \u00fcberhaupt jemals von jemanden vertreten ist, so ist er doch gerade durch die bekannte Arbeit von \\textit{Goedel} (1931; F. d. M. \\(57_{\\text{I}}\\), 54) eines Besseren belehrt worden. Man begreift daher nicht die Polemik des Verf. gegen die genannte Arbeit. Doch bleibt die angek\u00fcndigte ausf\u00fchrliche Darstellung der hier ber\u00fchrten Gedanken abzuwarten.","type":"string"},"datatype":"string"},"type":"statement","id":"Q562811$9CCC67FE-7A73-4930-927F-3B0CB5D53D0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66c5f74570f9ceda35f25c9642d92917923bb0de","datavalue":{"value":"2548999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q562811$B4CF8232-D1AF-428F-8504-0161545E9C13","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":"Q562811$597E180A-7AE9-437B-B596-B4BE2CCD8455","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd9dbb80ad43a7baaf138e7b37eac8eb01ebe2a5","datavalue":{"value":{"entity-type":"item","numeric-id":6481064,"id":"Q6481064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q562811$BB6BB374-3ED4-43BE-BF88-0668E8E20FD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u00dcber Stufen der Quantifikation und die Logik des Unendlichen.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%C3%9Cber_Stufen_der_Quantifikation_und_die_Logik_des_Unendlichen."}}}}}