{"entities":{"Q1830461":{"pageid":1841203,"ns":120,"title":"Item:Q1830461","lastrevid":69442185,"modified":"2026-04-13T07:01:33Z","type":"item","id":"Q1830461","labels":{"en":{"language":"en","value":"\u00dcber die Vollst\u00e4ndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2566300"}},"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":"Q1830461$36A284D7-A6B2-416A-B66F-AE799AA63A4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51d4e696347da51494fc5265e1c1139ccf572cd6","datavalue":{"value":{"text":"\u00dcber die Vollst\u00e4ndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1830461$4E46F02D-F1DA-430F-82FB-C05E6D94ED7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c6c71c6cc8ad036766268bfcec40eb728eba7bc","datavalue":{"value":"56.0825.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1830461$4CB39D82-4ADB-4391-9AA2-AE3A3DE3EF0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"17d50d188bd30829be016e9badc1f7013ec72043","datavalue":{"value":{"entity-type":"item","numeric-id":1830460,"id":"Q1830460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1830461$C3DF3258-C629-4C2C-9EAD-C243C4DEA2E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa7b89c2fb45b2a4b2542838fa1207277c05a6db","datavalue":{"value":{"time":"+1930-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":"Q1830461$A67082EC-0CF7-4639-9C61-AA6D5ED8CF18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a65b105c52178bf2265ad1e9609b9ec1805d6c9","datavalue":{"value":"http://gallica.bnf.fr/ark:/12148/bpt6k3056t.f92","type":"string"},"datatype":"url"},"type":"statement","id":"Q1830461$84DB24BD-8503-4DF0-86A6-C5A6306673D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"036d667b047aa8382ed2d462cf5ced425d8eb075","datavalue":{"value":"Skizze eines Vollst\u00e4ndigkeitsbeweises f\u00fcr ein gewisses System \\(\\mathfrak A_k\\) in dem Sinn, da\u00df f\u00fcr jede einschl\u00e4gige sinnvolle Aussage \\(\\mathfrak p\\) ohne freie Variablen entweder \\(\\mathfrak p\\) oder non-\\(\\mathfrak p\\) zu \\(\\mathfrak A_k\\) geh\u00f6rt, und da\u00df sogar die Entscheidung hier\u00fcber durch endlich viele Operationen herbeigef\u00fchrt werden kann; m. a. W: In \\(\\mathfrak A_k\\) gibt es keine unentschiedenen Probleme. \\(\\mathfrak A_k\\) ist wesentlich die Arithmetik der ganzen Zahlen mit der Addition als einziger (umkehrbarer) Operation. Zur Festlegung von \\(\\mathfrak A_k\\) geht Verf. aus von drei von \\textit{Lukasiewicz} stammenden Axiomen des Aussagenkalk\u00fcls und den (in bezug auf = und + als Grundzeichen ausgedr\u00fcckten) Axiomen der Identit\u00e4t und der Addition im Bereich der ganzen Zahlen, die mangels eines Multiplikationszeichens in unendlicher Anzahl auftreten. Die (namentlich mittels Substitution und Syllogismus folgenden) Konsequenzen aus diesem Axiomensystem bilden \\(\\mathfrak A_k\\).  Der Beweis ergibt sich im Anschlu\u00df an \\textit{Hilbert-Ackermann}s Logik und in Anlehnung an Gedankeng\u00e4nge \\textit{Tarski}s im wesentlichen durch Reduktion jeder sinnvollen Aussage ohne freie Variablen auf eine disjunktive Normalform. Der Kern dieser Methode ist schon fr\u00fcher von \\textit{Skolem} und \\textit{Langford} eingef\u00fchrt worden.  Bei Einf\u00fchrung der Multiplikation w\u00fcrden sich neue, vorl\u00e4ufig (und wohl noch auf lange hinaus) un\u00fcberbr\u00fcckbare Schwierigkeiten ergeben. Dagegen l\u00e4\u00dft sich das Ergebnis nach Angabe des Verf. aufrecht erhalten, wenn noch das Grundzeichen \\(>\\) hinzugef\u00fcgt wird.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1830461$CABDA27B-7775-43A1-8AB9-8D7308857A00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6896c74e9d3f93360949bfe970d079237dc0baa","datavalue":{"value":"2566300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1830461$FC90ADEB-B12D-4045-9452-C055D6C5529F","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":"Q1830461$BBBDF9B5-E9D3-441C-B92E-B402442B00FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u00dcber die Vollst\u00e4ndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%C3%9Cber_die_Vollst%C3%A4ndigkeit_eines_gewissen_Systems_der_Arithmetik_ganzer_Zahlen,_in_welchem_die_Addition_als_einzige_Operation_hervortritt."}}}}}