{"entities":{"Q2579571":{"pageid":2590314,"ns":120,"title":"Item:Q2579571","lastrevid":44399784,"modified":"2025-11-22T16:37:52Z","type":"item","id":"Q2579571","labels":{"en":{"language":"en","value":"Sur la port\u00e9e du th\u00e9or\u00e8me de L\u00f6wenheim-Skolem."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502117"}},"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":"Q2579571$4DF46B95-7B06-46C0-B0EE-F79065A80595","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c00f356e6e28d9e8606837af62f912832494075d","datavalue":{"value":{"text":"Sur la port\u00e9e du th\u00e9or\u00e8me de L\u00f6wenheim-Skolem.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2579571$07ED1281-FF52-44FC-AFCB-ED47B4237128","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9c97ba833c2052b821ecd9c53c65af6a4ad10e4","datavalue":{"value":"67.0035.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579571$B1EB5CD3-C9ED-4246-B0BA-CA004D156D5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-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":"Q2579571$701A4E26-E03A-4E7A-8540-786239DB1AAB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75f559f202fd05ba23b6a47374fd8066b8a88fc5","datavalue":{"value":"Verf. bespricht zun\u00e4chst die meist ihm zu verdankenden Fortschritte in den Methoden (Vermeidung des Auswahlaxioms) beim Beweise des Satzes von L\u00f6wenheim, der in einer Verallgemeinerung des Verf. lautet: Besitzt eine (endliche oder abzahlbare) Ausdrucksmenge des Pr\u00e4dikatenkalk\u00fcls ein Modell in irgendeinem, so sogar in einem abz\u00e4hlbaren Bereich. Dieser Satz ist anwendbar auf ein Axiomensystem der Mengenlehre (etwa das v. Neumannsche oder das Zermelo-Fraenkelsche), welches also (falls \u00fcberhaupt, so sogar) ein abz\u00e4hlbares Modell besitzt, w\u00e4hrend die Existenz \u00fcberabz\u00e4hlbarer Mengen bewiesen werden kann. Dies ist jedoch nur scheinbar paradox. Man darf n\u00e4mlich den Begriff des \u00dcberabz\u00e4hlbaren (und ebenso den Endlichkeitsbegriff usw.) nicht in einem absoluten Sinne nehmen. Gilt in einer axiomatischen Mengenlehre z. B. die Aussage: ``\\(M\\) hat eine gr\u00f6\u00dfere M\u00e4chtigkeit als \\(N\\)'', so kann im System die Existenz einer umkehrbar eindeutigen Zuordnung von \\(M\\) und \\(N\\) (also einer gewissen Paarmenge) nicht gezeigt werden, w\u00e4hrend eine solche Paarmenge sehr wohl auf andere Weise konstruierbar sein kann. Nach Ansicht des Verf. ist die aus diesen \u00dcberlegungen resultierende Einsicht in die Relativit\u00e4t der mengentheoretischen Begriffe ein wesentlicher Fortschritt und nicht ein Grund f\u00fcr die Ablehnung der axiomatischen Methode. Zuletzt zeigt Verf. (wie schon fr\u00fcher: Norsk mat. Forenings Skrifter 2 (1933), Nr. 10, 73-82 und Fundam. Math., Warszawa, 23 (1934), 150-161; JFM 59.0053.*; 60\\(_{\\text{I}}\\), 25), da\u00df die (etwa durch das Peanosche Axiomensystem gegebene) rekursive Zahlentheorie nicht kategorisch ist, da nicht isomorphe Modelle existieren. Dies h\u00e4ngt letzten Endes mit der Tatsache zusammen, da\u00df im Axiomensystem der nur in einem relativen Sinn m\u00f6gliche Teilmengenbegriff vorkommt (der hier in der n\u00e4chstliegenden Weise interpretiert wird).  Anschlie\u00dfend Diskussionsbemerkungen, insbesondere von \\textit{Bernays, Enriques, Skolem}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2579571$469DA032-499D-46AD-95A7-392B4DA19690","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c4cb2aceab96ac9cca1df13e2030a55b14cfebf","datavalue":{"value":"2502117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579571$B15271FF-6003-4C80-BAE8-88DD23461180","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":"Q2579571$F691B926-32CC-4877-92A9-5F7F5A3F59A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2239a8d649fb6346c24e5b6bc1471d336a96c909","datavalue":{"value":{"entity-type":"item","numeric-id":6480491,"id":"Q6480491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579571$0718DE14-C65A-4260-B641-6211E6B1C153","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2579571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2579571"}}}}}