{"entities":{"Q1461614":{"pageid":1472354,"ns":120,"title":"Item:Q1461614","lastrevid":70454178,"modified":"2026-04-13T14:49:46Z","type":"item","id":"Q1461614","labels":{"en":{"language":"en","value":"Principles of pure theory of types."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2600926"}},"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":"Q1461614$8A46592B-7B91-490C-9DA9-2052980E6771","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ac4658b49d296f8997c8ab46176317e011959a3","datavalue":{"value":{"text":"Principles of pure theory of types.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1461614$03796CF9-3976-4ED4-957A-6049749D974B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cafc3ccdf4dfa73dfb506464e09ca870575159e","datavalue":{"value":"48.0216.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1461614$CB5263FF-607F-4009-AF4F-71C34A96BC8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c78db76ef31aaf15e1381fe5a0a5a64cf5094e9","datavalue":{"value":{"time":"+1922-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":"Q1461614$02E4FF40-BAF9-48EC-9285-2368E0DB473A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"25551980e5acef1ee7a0caad75c3afdc2653d74b","datavalue":{"value":"Der Aufsatz darf als Einf\u00fchrung in ein umfassenderes Werk gelten, dessen I. Teil unter dem Titel: ``Theory of constructive types'' in den Annales de la soci\u00e9t\u00e9 polonaise de math\u00e9matique (Krakau 1924) erschienen ist. Der Hauptzweck dieses Werkes ist, ein System der apriorischen Wissenschaften zu konstruieren, welches auf rein logischen Axiomen und Direktiven basiert w\u00e4re, ohne irgend etwas \u00fcber die Existenz von Gegenst\u00e4nden zu entscheiden. Das System ist als eine Verallgemeinerung der Russellschen Typenlehre zu betrachten, indem die Matrizen durch Funktionen eines gegebenen Typus ersetzt sind, der Reduktibilit\u00e4tssatz aber aus den Axiomen des Systems fortgeschafft ist. Die Mengen sind hier als Urteilsfunktionen einer Ver\u00e4nderlichen eingef\u00fchrt. Der sog. Extensionssatz, nach welchem zwei Mengen, welche dieselben Elemente enthalten, als identisch gelten d\u00fcrfen, wurde dadurch vermieden, da\u00df man einfach von extensionalen Funktionen spricht, wodurch keine Einschr\u00e4nkung des Geltungsbereichs des Systems verursacht wird. -- Da in diesem System die Existenz aller induktiven (nat\u00fcrlichen) Zahlen die Existenz des Kontinuums (als Menge gedacht) keineswegs nach sich zieht, er\u00f6ffnet sich die M\u00f6glichkeit, entweder die Existenz des Kontinuums zu postulieren, oder anzunehmen, da\u00df es lauter abz\u00e4hlbare, oder induktive Mengen gibt. Die letztere Annahme, welche dem von Poincar\u00e9 und Brouwer vertretenen Standpunkte entspricht, d\u00fcrfte sich als ebenso fruchtbar wie die vorige erweisen, indem gezeigt wird, da\u00df der Begriff des Lebesgueschen Ma\u00dfes auch in einem auf dieser Annahme basierten Systeme gewonnen werden kann.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1461614$8297D253-4DF0-48DF-A832-CB979C9971E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59c95c718c52ffded91824ca592465cd034cdb73","datavalue":{"value":"2600926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1461614$B1E82C20-A73A-41AA-A140-AC8B046DA261","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73a3fcdebcea12ce05f5175a4cee5b4b2f63502e","datavalue":{"value":{"entity-type":"item","numeric-id":1565789,"id":"Q1565789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1461614$135EAEC9-EEFB-4C9C-B64E-516ED527ADC3","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":"Q1461614$8C9D56B2-39CF-417D-B230-BD7A2B39F68B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Principles of pure theory of types.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Principles_of_pure_theory_of_types."}}}}}