{"entities":{"Q1448545":{"pageid":1459285,"ns":120,"title":"Item:Q1448545","lastrevid":70422930,"modified":"2026-04-13T14:39:31Z","type":"item","id":"Q1448545","labels":{"en":{"language":"en","value":"Theorems on deducibility. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2585223"}},"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":"Q1448545$C7070AC5-C17B-4CB7-BA5C-6228856034CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fa77d4ef0742d983d6b508766b6aeb34fc0e7af","datavalue":{"value":{"text":"Theorems on deducibility. I.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1448545$A6402A13-3A1B-4FC6-BC5A-FDE0104F39C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c31b2147bcb5f7944afc768282b4c3843b86f361","datavalue":{"value":"52.0048.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1448545$2EB580A1-8BBE-40B8-A364-77E513E4AC0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78fa50c12bcd141a29f4e38d1d3cf10e4613e6f3","datavalue":{"value":"10.2307/1968352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1448545$113E70DA-68BA-4B05-AB11-6D37292B547E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1448545$0B73E4E5-C0CE-4405-A949-1AD523B6BCDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dd745ff93b31145e75d180e6d28b5d93f81438","datavalue":{"value":{"time":"+1926-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":"Q1448545$264B8815-2CCB-43D8-9DFB-DE4A0917D9C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2d4777908773de83059b0fab6a1d44b2ce7885bf","datavalue":{"value":"Verf. betrachtet eine Klasse \\(K\\) und eine bin\u00e4re Relation \\(R\\) und stellt gewisse Voraussetzungen auf, welche ausdr\u00fccken, da\u00df \\(K\\) durch \\(R\\) als eine dichte Menge geordnet wird. Zuerst wird dioso Menge als eine offene vorausgesetzt; sp\u00e4ter betrachtet er aber auch die F\u00e4lle, wo ein erstes od\u00e9r letztes Element vorkommt, oder auf einmal beide extremen Elemente vorkommen.  Er beweist die Kategorizit\u00e4t der Axiome im folgenden Sinn: Jede Aussage, die durch Anwendung der f\u00fcnf logischen Grundoperationen auf \\(K\\) und \\(R\\) gebildet werden kann, und worin nur variable Individuensymbole, nicht variable Aussagen auftreten, ist entweder beweisbar wahr oder beweisbar falsch. Er f\u00fchrt den Beweis durch Induktion. Zuerst zeigt er, da\u00df der Satz f\u00fcr alle Aussagen gilt, worin nur zwei Variable auftreten; danach stellt er ein Rekursionsverfahren auf, indem er beweist, da\u00df zu jeder Aussage mit n Variablen eine andere mit \\(n - 1\\) Variablen gefunden werden kann derart, da\u00df beide entweder beweisbar wahr oder beweisbar falsch sind.  Es ist aber sicher, da\u00df der Verf. seinen Satz weit leichter h\u00e4tte beweisen k\u00f6nnen. Es ist n\u00e4mlich sehr leicht zu zeigen, da\u00df jede Aussage der Form  \\[  (\\exists y)\\cdot f(x_1, x_2,\\dots, x_n, y) \\quad\\text{oder}\\quad (y)\\cdot f(x_1, x_2,\\dots, x_n, y),  \\]  wo \\(f\\) elementar ist, entweder kraft der Axiome beweisbar wahr oder beweisbar falsch ist oder f\u00fcr beliebige \\(x_1\\),\\dots, \\(x_n\\) mit einer elementaren Aussagenfunktion \\(g(x_1,\\dots, x_n)\\) \u00e4quivalent ist. Hierdurch gelingt es, aus einer gegebenen Aussage die scheinbaren Variablen allm\u00e4hlich zu entfernen, und man gelangt zu dorn Ergebnis, da\u00df die Aussage entweder beweisbar wahr oder beweisbar falsch ist. N\u00e4her darauf einzugehen w\u00fcrde aber zu viel Baum in Anspruch nehmen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1448545$BCB552B1-5557-471F-9CAC-B08FD508644E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31741a2b692591d1ebb9b25f902371e6fea73bfb","datavalue":{"value":"2585223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1448545$EF0D3407-511B-415F-8D1E-962F17E18554","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60c2502b07049fc48532352597205514f4e3871f","datavalue":{"value":{"entity-type":"item","numeric-id":562782,"id":"Q562782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1448545$C7C1A978-89B6-49D0-AA7C-895C12613D9F","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":"Q1448545$01DE1405-F803-4B43-9A43-D796B1FFB3BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b1c1130b0e625819b3f64ce03ddf520cfeab9da","datavalue":{"value":"https://doi.org/10.2307/1968352","type":"string"},"datatype":"url"},"type":"statement","id":"Q1448545$A5001D68-97CE-4D62-B410-863931E8EDEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4d22baa2f91961b5e24f722fadfdf4c84db3d8c","datavalue":{"value":"W2324483890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1448545$362998ED-41D4-4744-ADF7-249178CFC37F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorems on deducibility. I.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorems_on_deducibility._I."}}}}}