{"entities":{"Q562834":{"pageid":564601,"ns":120,"title":"Item:Q562834","lastrevid":62806884,"modified":"2026-04-11T08:33:34Z","type":"item","id":"Q562834","labels":{"en":{"language":"en","value":"\u00dcber die Existenz unabh\u00e4ngiger Axiomensysteme zu unendlichen Satzsystemen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2549013"}},"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":"Q562834$18C4AF8A-44B6-4267-8EAF-C191C7AB80D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"005563132c6501c64158899b9791df042ccfd649","datavalue":{"value":{"text":"\u00dcber die Existenz unabh\u00e4ngiger Axiomensysteme zu unendlichen Satzsystemen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q562834$B4F9CE6B-5BE9-4999-BD06-D824C2A06E72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46bef7f2777d28f300f1c5d2c728c37159227071","datavalue":{"value":"58.0063.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q562834$B4160C87-2B93-45C8-AB39-43EF924FDE69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f277642cfc4ff3b836c407258b8eae37198440f","datavalue":{"value":"10.1007/BF01448897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q562834$C01E63B6-84FD-4486-AED6-FFCAA950E3C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q562834$995B4748-5827-4737-B7D4-582CCF3D1D51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bbb53abe68aac0eeb25dacc2ea1a7274c90a69a","datavalue":{"value":{"time":"+1932-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":"Q562834$D582BD0F-D79A-4740-9785-D2AE23E0E54D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e7c8f7e91748ac54d81a93690af29e438ee7614","datavalue":{"value":"https://eudml.org/doc/159597","type":"string"},"datatype":"url"},"type":"statement","id":"Q562834$A3724A18-D547-4AF5-A099-A7495AFCEF59","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1cf5df585d1562d00a354be6d7d6d5c1806ae935","datavalue":{"value":"In dieser Abhandlung wird die von \\textit{P. Hertz} aufgeworfene Frage (1929; F. d. M. \\(55_{\\text{II}}\\), 627-628) behandelt, ob es abgeschlossene Satzsysteme ohne ein unabh\u00e4ngiges Axiomensystem gibt. Verf. beweist zwei Hauptergebnisse: Erstens gibt es unendliche abgeschlossene Satzsysteme, zu denen kein unabh\u00e4ngiges Axiomensystem existiert, und zweitens hat jedes abz\u00e4hlbar unendliche abgeschlossene lineare Satzsystem ein unabh\u00e4ngiges Axiomensystem. Dabei sind die ``S\u00e4tze'' alle von der Form \\(K \\to v\\), wo \\(K\\) ein Komplex gewisser Elemente \\(u_1,\\ldots,u_v\\) ist und \\(v\\) ein weiteres Element. Ein Satz der Form \\(u \\to u\\) hei\u00dft linear. Ein Satz \\(K' \\to v\\) hei\u00dft ein Verd\u00fcnnter des Satzes \\(K \\to v\\), wenn \\(K\\) ein echter Teil von \\(K'\\) ist. Ein System hei\u00dft linear, wenn jeder Satz Verd\u00fcnnter eines linearen darin ist. Ein abgeschlossenes Satzsystem ist eines, das jeden aus S\u00e4tzen des Systems beweisbaren Satz enth\u00e4lt. Geh\u00f6ren \\(u \\to v\\) und \\(v \\to u\\) beide zu einem abgeschlossenen System, so hei\u00dfen sie Netzs\u00e4tze, \\(u\\) und \\(v\\) Netzelemente. Ist \\(u\\) ein Netzelement, so bilden s\u00e4mtliche \\(v\\), f\u00fcr welche \\(u \\to v\\) und \\(v \\to u\\) im System vorkommen, ein Maximalnetz. Jedes Netzelement geh\u00f6rt zu genau einem Maximalnetz. Ein Satz \\(u \\to v\\), wo \\(u\\) Netzelement ist, w\u00e4hrend \\(v\\) nicht zu demselben Maximalnetz geh\u00f6rt, hei\u00dft Halbnetzsatz.  Diese Erkl\u00e4rungen nebst Erkl\u00e4rungen anderer Ausdrucksweisen und Beweisen einiger Hilfss\u00e4tze kommen im ersten der drei Abschnitte der Arbeit vor. \u00dcbrigens erw\u00e4hnt Verf. in \\S {} 6 des ersten Abschnitts ein von \\textit{P. Hertz} herr\u00fchrendes Beispiel eines linearen, aber nicht abgeschlossenen Systems, das kein unabh\u00e4ngiges Axiomensystem besitzt.  Im zweiten Abschnitt stellt er ein Beispiel eines abgeschlossenen Satzsystems auf, das kein unabh\u00e4ngiges Axiomensystem besitzt. Das Beispiel ist das abgeschlossene System \\(\\bar {\\mathfrak {A}}\\), das vom System \\(\\mathfrak {A}\\) herr\u00fchrt, wenn \\(\\mathfrak {A}\\) aus zwei Klassen \\(\\mathfrak {A_1}\\) und \\(\\mathfrak {A_2}\\) besteht, n\u00e4mlich  \\[  \\begin{align*}{ &\\frak {A_1}: a_vb\\to c \\text{ f\u00fcr beliebiges } v,\\cr &\\frak {A_2}: a_\\lambda \\to a_\\mu \\text{ f\u00fcr } \\lambda < \\mu, }\\end{align*}  \\]  wobei \\(b, c, a_1, a_2, a_3,\\ldots \\) den Elementbereich ausmachen. Verf. beweist n\u00e4mlich, da\u00df, wenn ein Axiomensystem hinreichend sein soll zum Beweis aller S\u00e4tze von \\(\\bar {\\mathfrak {A}}\\), immer einige Axiome aus anderen ableitbar sind.  Im dritten Abschnitt wird bewiesen, da\u00df jedes abz\u00e4hlbar unendliche abgeschlossene lineare Satzsystem ein unabh\u00e4ngiges Axiomensystem \\(\\mathfrak {I}\\) besitzt, das Verf. durch ein gewisses Verfahren konstruiert. Der erste Teil von \\(\\mathfrak {I}\\) wird dadurch gebildet, da\u00df man alle Netzs\u00e4tze numeriert und dann der Reihe nach diejenigen Netzs\u00e4tze als Axiome w\u00e4hlt, die nicht schon aus vorhergehenden beweisbar sind. Die \u00fcbrigen Axiome werden nach einer komplizierten Vorschrift durch Auswahl gewisser Halbnetzs\u00e4tze mit nachfolgender Streichung, Umordnung und Verd\u00fcnnung hergeleitet. Er beweist, dann da\u00df einerseits alle S\u00e4tze des abgeschlossenen linearen Systems aus \\(\\mathfrak {I}\\) beweisbar, und da\u00df andererseits die S\u00e4tze aus \\(\\mathfrak {I}\\) unabh\u00e4ngig sind.","type":"string"},"datatype":"string"},"type":"statement","id":"Q562834$EDC86F94-0049-4753-BABF-D1BDB0694969","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37e79003aeb195b26f4f61fc9259b7834cca7775","datavalue":{"value":"2549013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q562834$D7EDBC01-4FB9-4F6C-8CE3-08D57D19B291","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":"Q562834$EEC63F8B-43CD-472F-A996-FFB23FE1C927","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4141a5d4ca19daceb3504cee2b9a9e0a747e36e1","datavalue":{"value":"Q56082428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q562834$88C4FC9E-A577-449E-BD2A-D4E93FCA6D03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82346d6123af6b24029194075a524fe5690b1523","datavalue":{"value":{"entity-type":"item","numeric-id":6481809,"id":"Q6481809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q562834$5275B8E9-F36D-4C93-ADCB-DADC1E20C772","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\u00dcber die Existenz unabh\u00e4ngiger Axiomensysteme zu unendlichen Satzsystemen.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%C3%9Cber_die_Existenz_unabh%C3%A4ngiger_Axiomensysteme_zu_unendlichen_Satzsystemen."}}}}}