{"entities":{"Q598279":{"pageid":600055,"ns":120,"title":"Item:Q598279","lastrevid":77987438,"modified":"2026-05-06T10:30:53Z","type":"item","id":"Q598279","labels":{"en":{"language":"en","value":"What is the world of mathematics?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083178"}},"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":"Q598279$D9BB8C6D-2232-4317-AC23-D25ADF07FE3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41b17c0c9ae92f3c1219735c230a9689d063a50d","datavalue":{"value":{"text":"What is the world of mathematics?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q598279$D15A19D7-28DB-41BE-9DD8-FC76D2850E1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29420786e1be3f6d82e6f631caeb304bf6973709","datavalue":{"value":"1076.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598279$FA8EB4F3-E4C7-4323-B112-F46B28F7000B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598279$41A199F3-FAEB-4ADA-9738-ED0F34B60B1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q598279$A3A03CFB-D663-46F1-A7F8-36345150D95E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b5dba62e55389813875a6f0b05417168dc9b23d","datavalue":{"value":"This very short paper asks ``What is the world of mathematics'' -- by which is meant \\textit{elementary mathematics}, which includes arithmetic and analysis but not metamathematics and category theory. The world of mathematics is taken to be a model of the language of mathematics. The latter might be the category of sets, preferably the G\u00f6del-Bernays variant. But for Lambek it's rather a type theory as defined in the book [\\textit{J. Lambek} and \\textit{P. J. Scott}, Introduction to higher order categorical logic. Cambridge etc.: Cambridge University Press (1986; Zbl 0596.03002)]. Types, like toposes, form a category: to each topos \\(\\mathcal{T}\\) is associated a type theory \\(\\text{L}(\\mathcal{T})\\), its internal language being intuitionistic generally. Conversely, with each type theory (language) \\(\\mathcal{L}\\) is associated a topos \\(\\text{T}(\\mathcal{L})\\), the Tarski-Lindenbaum category of \\(\\mathcal{L}\\) (the topos generated by \\(\\mathcal{L})\\). \\(\\text{L}\\) and \\(\\text{T}\\) are a pair of adjoint functors between the category of type theories and the category of toposes. The pure intuitionistic type theory \\({\\mathcal L}_0\\) is the one where types, terms and theorems are freely generated. The free topos \\(\\text{T}({\\mathcal L}_0)\\) generated by pure intuitionistic type theory is, in the author's opinion, a suitable candidate for \\textit{the} world of mathematics acceptable to members of different philosophical schools, who do not insist on the principle of the excluded middle and who are willing to compromise. One can now formulate G\u00f6del's incompleteness theorem as: Assuming that \\(\\mathcal{L}\\) is consistent and that the set of theorems is recursively enumerable, then it does not suffice to look at \\(\\omega\\)-complete models only.","type":"string"},"datatype":"string"},"type":"statement","id":"Q598279$F2900356-A873-4BCC-97D9-77A6AC189B4A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bc7a4844df6c1e7fd45e2597303e18bd88cee256","datavalue":{"value":{"entity-type":"item","numeric-id":598278,"id":"Q598278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598279$7E8F807F-F319-4753-AEFA-097704055EC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598279$5EACB509-C3F0-468F-96FF-96E647F98D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598279$BC3E23D3-4E4B-49A3-907D-51F4A3315EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598279$AFD47D39-687D-4444-8A89-255436FDBE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598279$AD0FA69D-FF6A-4571-8B41-1997FA1B044B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17fb469d5971e2cd832fc0e9664c5e7cf7e89f88","datavalue":{"value":"2083178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598279$152450BD-5513-4AFF-B30C-445A8277987B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9367fcbb9ad6885e6ec326f2fb8df5a6da1d83e","datavalue":{"value":"language of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q598279$F639E2CA-7E37-46D5-91E2-D62BA10DBC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3caba75974bddd75ade291a3dc126ae2cfea1b33","datavalue":{"value":"category of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q598279$FB2B31D2-31B8-40FC-B9EC-731166088FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6882e2bb0c558e2087da4a2ff08b48b5011ed1","datavalue":{"value":"local toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q598279$B3C91873-4E9A-4D50-8202-44D3C4747068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fff523b213f62c3308ce1345552585e68fe48558","datavalue":{"value":"free topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q598279$8A04EFE6-E09A-4D10-BAFB-C778A802338F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q598279$DB34F3C8-AA1D-4DEF-BCCA-B72F6F7E8C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e2da9f904b6e4dd344124e396168e24831fb650","datavalue":{"value":"elementary mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q598279$4BFBC70E-0D93-4EDD-BA8D-59F5C18141E5","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":"Q598279$698BDD6F-1086-4FE5-931D-AE786137D761","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16902def292aee59fc24acd3a0c15cf4c9764bb5","datavalue":{"value":"https://doi.org/10.1016/j.apal.2003.10.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q598279$BB5AC3D0-A75E-47BE-8E2E-331AB7A2400B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df3e678da7f996c7f6a73cf8103d7239847e0946","datavalue":{"value":"W2033086528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598279$6774FF5E-A213-4D92-99DD-BFD1D69C95E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76777b661f12aaafd0cdd6b83c9d0748d29f56b7","datavalue":{"value":{"entity-type":"item","numeric-id":1963980,"id":"Q1963980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598279$4178DDF8-BDB9-4354-A7C3-48269D22CFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daa73201e6b2c8db1fc9d936e77b5c073bcd3a4","datavalue":{"value":{"entity-type":"item","numeric-id":5571677,"id":"Q5571677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598279$8B3437CA-4540-48A7-A648-BB1EA665CC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598279$EE3A8205-772D-4383-8DB9-71BFD6CBBEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95d49eaf0a86ba840f1be7ccf8bdc6128ac4d6c3","datavalue":{"value":{"entity-type":"item","numeric-id":1323041,"id":"Q1323041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598279$9C9ED45A-CAEE-4589-AF5C-B372A241FC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a183090983466c1033895206e7e9cadb85d5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4749837,"id":"Q4749837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598279$3290330A-381C-4446-AA57-717099771ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598279$F3237803-8A12-49E1-A661-2F8D89828C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc86f000278dc699ab23e219afadb18786e4bae","datavalue":{"value":{"entity-type":"item","numeric-id":4003736,"id":"Q4003736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598279$07F8B9AE-13F9-4837-B9DB-9C56CE544A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23732ac283c991e9d1d60ac7c4046d29649b2de","datavalue":{"value":{"entity-type":"item","numeric-id":3240239,"id":"Q3240239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598279$F2221B00-87B4-42DD-967B-E61FAF242EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb8a796ca4d59178c61d475f9a13767c89d27cf","datavalue":{"value":{"entity-type":"item","numeric-id":4231666,"id":"Q4231666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598279$7C8CF422-75E7-4932-A0A5-287A30F4BFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598279$BC894BE8-F6BF-4624-8C92-53C6544DABCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ced79732e3cbc5101130210215ecfa3ef0414c8e","datavalue":{"value":"10.1016/J.APAL.2003.10.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q598279$3E0A64FC-0155-4F2B-BF9F-AF9212E0E97D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05de455bccc01699903781162e24418d46351def","datavalue":{"value":{"entity-type":"item","numeric-id":6482386,"id":"Q6482386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q598279$2C7599B0-6754-492A-B4A9-D676B6EC6338","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2c1e67d55f6150e9d21e52af2bd84fd0000627","datavalue":{"value":{"entity-type":"item","numeric-id":1115435,"id":"Q1115435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b671eefb6e3467f84b0b94e28495e5f9f2c4fa4","datavalue":{"value":{"amount":"+0.7170096039772034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598279$E629D57F-E30E-4D6A-A126-1319E7485129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791cf0ec86cb33de7cf466dfbb51f5a6258e60ff","datavalue":{"value":{"entity-type":"item","numeric-id":1385779,"id":"Q1385779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"126ff3b25e831a418b400e946cd9d49056fa64a7","datavalue":{"value":{"amount":"+0.7113063335418701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598279$17782DE7-A82A-4FE9-B38C-37C67152B33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b649116bd1845cc0b1c72d59cb3d077601c726b","datavalue":{"value":{"entity-type":"item","numeric-id":1861492,"id":"Q1861492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d9fb1c2547052225290c0e083f83522ab339be","datavalue":{"value":{"amount":"+0.7079351544380188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598279$20BA6546-245E-4764-9831-47D4390F986D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea27bdfec2ba133868d47d02bd5dc4fb070c1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133cb42f863e83b9e936ca18087cd39600b58914","datavalue":{"value":{"amount":"+0.7042067050933838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598279$F76880C2-D254-43B2-A4BE-E2AAB5A875F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc9fa361fa3867f7717436ced2f985449798e05","datavalue":{"value":{"entity-type":"item","numeric-id":4295233,"id":"Q4295233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b8cdcb5a091d47e9f5cecae064a53079adfb2a","datavalue":{"value":{"amount":"+0.6989980936050415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q598279$429B6D75-6A74-4CB5-B7F6-74BF7F3F3703","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"What is the world of mathematics?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/What_is_the_world_of_mathematics%3F"}}}}}