{"entities":{"Q2598623":{"pageid":2609366,"ns":120,"title":"Item:Q2598623","lastrevid":44443386,"modified":"2025-11-22T23:24:24Z","type":"item","id":"Q2598623","labels":{"en":{"language":"en","value":"\u00dcber den Begriff einer endlichen Menge."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2517775"}},"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":"Q2598623$D5DAE881-0A1E-4D98-A234-595C3CDF559A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76419495815c0831693760bed55162f8b75b4861","datavalue":{"value":{"text":"\u00dcber den Begriff einer endlichen Menge.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2598623$04ACC88F-6947-4768-8F55-DB2AF6B8F84F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7395cf6e8b84f3ef3657b2c33c6c9ca4949a41a","datavalue":{"value":"64.0932.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2598623$8A01D32D-F8DF-4E57-9CF8-BAA47476AE32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b6e3b81ec4d5475a2bfffbbdd018403195b8d13c","datavalue":{"value":{"entity-type":"item","numeric-id":559529,"id":"Q559529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2598623$B75FBAB9-727E-4A81-9186-6FA07FCE4541","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2598623$899D0CD0-E753-469E-BE89-9BA007CCE472","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"334be976926510c12925b8194818b9a9b24001f4","datavalue":{"value":"Bekanntlich hat man den Begriff der endlichen Menge in verschiedener Weise definiert; diese Definitionen werden in der vorliegenden Arbeit genauer untersucht. Verf. schreibt \\(\\alpha\\supset{}_M\\beta\\), um auszudr\u00fccken, da\u00df \\(\\beta\\) aus \\(\\alpha\\) folgt auf Grund der Axiome und Schlu\u00dfregeln eines logischen Systems \\(S\\) und der S\u00e4tze einer Menge \\(M\\). In \\(S\\) kommt die Aussage \\(\\alpha^n(X)\\) vor, die ausdr\u00fcckt, da\u00df die Menge \\(X\\) genau \\(n\\) Elemente enth\u00e4lt. Eine Aussagenfunktion \\(\\delta(X)\\) hei\u00dft eine m\u00f6gliche Endlichkeitsdefinition in bezug auf \\(M\\), wenn f\u00fcr jede nat\u00fcrliche Zahl \\(n\\) die Formel \\(\\alpha^n(X) \\supset {}_M\\delta(X)\\) gilt. Eine m\u00f6gliche Endlichkeitsdefinition hei\u00dft st\u00e4rkste Endlichkeitsdefinition, falls aus ihr alle anderen folgen. Unter \\(M_\\omega\\) wird die Menge aller Aussagen \\(\\alpha^n (n = 0, 1, 2, \\ldots)\\) verstanden, wobei \\(\\alpha^n\\) besagt, da\u00df ein \\(X\\) existiert, derart, da\u00df \\(\\alpha^n(X)\\) gilt. Dann gelten die S\u00e4tze: Ist \\(M\\) eine rekursive Menge von S\u00e4tzen, und ist \\(M + M_\\omega\\) widerspruchsfrei, so gibt es keine st\u00e4rkste Endlichkeitsdefinition in bezug auf \\(M\\). Bedeutet \\(M\\) die Klasse aller wahren S\u00e4tze, so ist die gew\u00f6hnliche Russellsche Induktivit\u00e4tsdefinition die st\u00e4rkste Endlichkeitsdefinition in bezug auf \\(M\\). Eine genauere Analyse wird auf Grund einiger Ergebnisse von Rosser durchgef\u00fchrt, und zum Schlusse wird in entsprechender Weise der Begriff des ``m\u00f6glichen Unendlichkeitsaxioms'' studiert.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2598623$4A4621A5-5811-4C85-A759-767991989FAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a973d3d060456e1a896d334138d3c88ec4397c60","datavalue":{"value":"2517775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2598623$58D4C973-A683-4554-B64B-7709D4710198","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cfa96b896b4870aef46c7c53449a86ee7b9e184","datavalue":{"value":{"entity-type":"item","numeric-id":767733,"id":"Q767733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2598623$7F7FEF41-A0AB-4A78-8EA6-369FBA0E5D79","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":"Q2598623$4E5CEDA7-F1D0-46EC-9755-D88625DAA54D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2598623","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2598623"}}}}}