{"entities":{"Q1828977":{"pageid":1839719,"ns":120,"title":"Item:Q1828977","lastrevid":69041988,"modified":"2026-04-13T04:00:04Z","type":"item","id":"Q1828977","labels":{"en":{"language":"en","value":"Die Vollst\u00e4ndigkeit der Axiome des logischen Funktionenkalk\u00fcls."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2562387"}},"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":"Q1828977$127E7CB2-4E6C-476C-ADA3-4368BFC61590","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e855816b5109e329af716c6d65bee9cf6c2d38ae","datavalue":{"value":{"text":"Die Vollst\u00e4ndigkeit der Axiome des logischen Funktionenkalk\u00fcls.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1828977$C95E39C2-BEE5-45D7-BBE0-BCC8FAB9E571","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1278ad0445f7e86b36859503526f371c42f054a4","datavalue":{"value":"56.0046.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828977$9080AAF0-F3F0-4583-BFF0-00F603B6856D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50f9447282fb6398acb4ac7d04c4a12c60208616","datavalue":{"value":"10.1007/BF01696781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828977$F6FBA45D-AA77-4107-BB64-18C34E0A8B3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3e1e052244c3cb6b51d49593de436d0f9034f1","datavalue":{"value":{"entity-type":"item","numeric-id":559539,"id":"Q559539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1828977$AEE60298-526F-484D-956E-12DAC307A67D","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":"Q1828977$AD8738E3-F395-4CB4-B5CF-8A104519E633","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5107c31fb170ec64b171fa7c576e97f87651c5ad","datavalue":{"value":"Verf. \u00fcbertr\u00e4gt \\textit{P. Bernays}' axiomatische Untersuchung des Aussagenkalk\u00fcls [Axiomatische Untersuchung des Aussagen-Kalk\u00fcls der ``Principia Mathematica''. Math. Z. 25, 305--320 (1926; JFM 52.0049.01)] auf den sog. engeren Funktionenkalk\u00fcl (vgl. \\textit{D. Hilbert} and \\textit{W. Ackermann}, Grundz\u00fcge der theoretischen Logik. Berlin: J. Springer (1928; JFM 54.0055.01)). Zugrunde gelegt werden als Pr\u00e4misse sechs formale Axiome, die im wesentlichen mit denen der Principia Mathematica \u00fcbereinstimmen, und abgesondert davon vier Schlu\u00dfregeln. Die Vollst\u00e4ndigkeit des Axiomensystems wird in folgender Form bewiesen: Jede Formel \\(A\\) des engeren Funktionenkalk\u00fcls ist entweder im abz\u00e4hlbaren Individuenbereich erf\u00fcllbar, oder ihre Negation \\(\\overline A\\) ist ableitbar. Dabei wird \\(\\overline{\\overline{A}} = A\\) benutzt. Den Beweis des Vollst\u00e4ndigkeitssatzes f\u00fchrt Verf. durch vollst\u00e4ndige Induktion: Er reduziert den allgemeinen Fall auf den gewisser Normalformen, f\u00fcr die er mit Hilfe der S\u00e4ttigungsoperationen einen Grad definiert, der die Durchf\u00fchrung des Induktionsschlusses gestattet.  Erweitert man unter Beibehaltung der Schlu\u00dfregeln das Axiomensystem um den Begriff der Identit\u00e4t, so gilt auch f\u00fcr diesen weiteren Bereich der Vollst\u00e4ndigkeitssatz. Desgleichen gilt folgende Verallgemeinerung: Jede abz\u00e4hlbar unendliche Menge von Formeln des engeren Funktionenkalk\u00fcls ist entweder erf\u00fcllbar, oder sie besitzt ein endliches Teilsystem, dessen logisches Produkt widerlegbar ist. Der Satz folgt aus dem anfangs bewiesenen Vollst\u00e4ndigkeitssatz durch die Reduktion darauf, da\u00df jedes endliche Teilsystem des unendlichen Systems erf\u00fcllbar ist.  Schlie\u00dflich wird \\textit{Bernays}' Unabh\u00e4ngigkeitsbeweis auf das erweiterte Axiomensystem ausgedehnt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1828977$2E252C47-4B15-4862-BEF4-E68E4EB44EE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828977$52629D79-B343-4C33-80FC-7F812ACE949E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec65682a671e238d1c87a0c3ce15b801ea96770f","datavalue":{"value":"2562387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828977$D693B00D-31C7-4E0C-BBD3-1FFE90121B5A","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":"Q1828977$BE608CD2-6811-43F2-A62E-50A9E7DEB5B0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"882e342ffa2875fac04dc293f8b47ef8373b4744","datavalue":{"value":"Q55871470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1828977$FB8D8C2A-AC1F-4ADD-B32B-61C7B113087C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b9daf5faedb3b1d24cbec2131eb34c16c3c7ba5","datavalue":{"value":{"entity-type":"item","numeric-id":6481200,"id":"Q6481200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1828977$E09A707E-E9A4-454C-B6A9-AF1CB50EB51C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Die Vollst\u00e4ndigkeit der Axiome des logischen Funktionenkalk\u00fcls.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Die_Vollst%C3%A4ndigkeit_der_Axiome_des_logischen_Funktionenkalk%C3%BCls."}}}}}