{"entities":{"Q1437923":{"pageid":1448663,"ns":120,"title":"Item:Q1437923","lastrevid":43110801,"modified":"2025-07-21T14:38:38Z","type":"item","id":"Q1437923","labels":{"en":{"language":"en","value":"Der indirekte Beweis in der Mathematik."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2572407"}},"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":"Q1437923$F498941C-5E37-4206-A2EF-F14DF1FC6CF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3d8259e6ddc71693d52716d28c7cf4053825daf","datavalue":{"value":{"text":"Der indirekte Beweis in der Mathematik.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1437923$78F540D4-9CE7-47C9-87B7-AFDC87C0BF85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a035e6e7add0e4c4adc7316a89502bf56ae1328","datavalue":{"value":"55.0628.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1437923$83DDFFDB-220D-4BF6-9F65-ACD0A2BDCBCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f290ffa45713570580aedeb1cddd050e8679577","datavalue":{"value":{"entity-type":"item","numeric-id":563665,"id":"Q563665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1437923$B4477A91-C899-4D9E-B53F-9453086464F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0ec0ec92278a4e809216de2b4777e9692e96ea","datavalue":{"value":{"time":"+1929-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":"Q1437923$2B0B5180-2889-4BDD-8C17-92A777ADDE40","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f71efa57160dc2a8d618733b4c3f16cf299e0d0","datavalue":{"value":"Verf. vertritt im Gegensatz zu \\textit{Bolzano} (``Wissenschaftslehre'') die These, da\u00df die Mathematik deshalb nicht auf das indirekte Beweisverfahren verzichten k\u00f6nne, weil es S\u00e4tze g\u00e4be, deren Beweis nicht anders als indirekt zu erbringen sei. Als Beleg f\u00fcr diese Behauptung werden die S\u00e4tze angef\u00fchrt, (a) da\u00df das archimedische Axiom aus dem \\textit{Dedekind}schen Stetigkeitsaxiom folgt, (b) da\u00df, wenn \\(p\\) ein Teiler von \\(a\\cdot b\\), aber nicht von \\(a\\) ist (\\(a\\), \\(b\\) ganz, \\(p\\) Primzahl), stets \\(p\\) ein Teiler von \\(b\\) ist. Die verfochtene These wird dadurch zwar plausibel gemacht, aber auch nicht mehr. Eine exakte Untersuchung der angeschnittenen Frage w\u00fcrde wohl in die Beweistheorie geh\u00f6ren und logistische Hilfsmittel heranziehen m\u00fcssen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1437923$EEB6A781-DC06-45B6-B4D3-0BE2B260E494","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d848228ff0dfd144944e4b7f8fefc7da5abb7c5f","datavalue":{"value":"2572407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1437923$E05BC36A-4D6A-4AD4-BF64-5B872D51AC77","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":"Q1437923$346686D2-DD26-4764-B13D-20E5B4BE2E9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1437923","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1437923"}}}}}