{"entities":{"Q677090":{"pageid":678939,"ns":120,"title":"Item:Q677090","lastrevid":63517644,"modified":"2026-04-11T13:42:02Z","type":"item","id":"Q677090","labels":{"en":{"language":"en","value":"Axioms of elementary geometry and the Greek theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 994573"}},"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":"Q677090$A224E0E0-09C7-400E-9AD4-EEF99E62821F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ed92e36f05a14cad6709508c2558639773fd52b","datavalue":{"value":{"text":"Axioms of elementary geometry and the Greek theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q677090$A0314E8F-2689-4DB5-8EC6-FCF937C615C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbbe31f030d6584815411c6fc6caaecfb6623334","datavalue":{"value":"0872.51014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677090$8C14C8A2-665B-4521-A1DE-D32908F9FD6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c90c6880477e5b8205fc27abd99e34ccb378ae6f","datavalue":{"value":{"entity-type":"item","numeric-id":194541,"id":"Q194541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677090$26C40D94-2D1A-4F61-8921-C1217D316BAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04800f209034680d3c00e300ab0607f83b08af5","datavalue":{"value":{"time":"+1997-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q677090$0EA6E678-2653-42C8-A429-03BDA0F979E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ae0d1e975f610c3b9c1a61a025218225f6cd62c2","datavalue":{"value":"This is a two-part paper. The first (considered by its author to be the raison d'\u00eatre of the paper) is an epistemological discussion of the interplay between intuition and logic. The second is a non-elementary axiomatization of 2-dimensional Euclidean geometry. The axiomatics takes both set theory and the field of real numbers for granted. It also contains `descriptive' axioms, like ``\\(E\\) is a non-empty set. The elements of \\(E\\) are points.'' It first axiomatizes the real affine plane, and then the Euclidean plane by axioms that define for every real number \\(\\theta\\) the rotation of angle \\(\\theta\\) (in the positive trigonometric sense) about a fixed point \\(O\\).    It is claimed that G\u00f6del proved that the consistency of Euclidean, hyperbolic, and elliptic geometry cannot be proved. This is true only if it refers to the second-order version of them or to a first-order version which includes an axiom system for set theory. There is no consistency problem for the first-order complete axiomatizations of these geometries, which was carried out by Tarski. The consistency cannot be proved inside these first-order theories since the provability predicate is not definable therein, but there is no doubt whatsoever about their consistency, for they are, as shown by Tarski, decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q677090$EAB30803-4F7C-40DE-B52B-13C7DD23F776","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677090$3E539539-8B92-4204-8183-0EDE3F913F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677090$B43FEB1F-5D87-4903-94EA-C6D8227C646A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c647273519c93be51c180e63ef296cdce867169","datavalue":{"value":"994573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677090$92AB7DF2-C057-4A0F-97FE-7B1B9446B034","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee9677937af4280ca2b7da086523ad813e30fbe","datavalue":{"value":"elementary geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q677090$5D5D31E0-6976-4F2B-A302-71BB1C5EF307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec6cb0892d434436649f6295ba11dc026b7854e8","datavalue":{"value":"2-dimensional Euclidean geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q677090$F5AC4EF4-356D-4A74-A773-1AA7DB51D97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642507c0abd1221e0d27a586106b3e2c75d006a3","datavalue":{"value":"axiomatics","type":"string"},"datatype":"string"},"type":"statement","id":"Q677090$11D1B1F5-17A1-42E1-B218-9430A28B147E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24ecc5562f0672c425c1081653c5b4a48f52c649","datavalue":{"value":{"entity-type":"item","numeric-id":767189,"id":"Q767189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677090$95D1703C-EB69-44B6-BB14-8D9714F8BE7E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677090$32CC0913-3098-4450-87E9-6C3960B271D2","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":"Q677090$857C3457-C533-4DCE-9508-C494F9D36345","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"204e7c3ffc9e0d9607bf52ec24579088a3f0d489","datavalue":{"value":"https://doi.org/10.1007/s005910050022","type":"string"},"datatype":"url"},"type":"statement","id":"Q677090$77701EF2-8D1F-4F37-BA1F-DD7FE0288764","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"776593f5641bee9a2925b459f65fd2c729db365d","datavalue":{"value":"W2000463251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677090$12284AEA-BF84-4959-8D2A-997A8FA6D038","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72f6d4533e84b7022b27c278c84e6095df44f747","datavalue":{"value":"10.1007/S005910050022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677090$044B95B0-28E6-4BEC-B9CC-8B4010E023F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa2129501fb77ca7e6e0c8b49106949be558932","datavalue":{"value":{"entity-type":"item","numeric-id":2717013,"id":"Q2717013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d8e85884216b73469e425b4cf243bce94aa2566","datavalue":{"value":{"amount":"+0.91203684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677090$0DE8DCAD-5230-4EAD-AA63-3F4ADECF5A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a860428037edef0bdd458dbefd673065660ea9e9","datavalue":{"value":{"entity-type":"item","numeric-id":4919401,"id":"Q4919401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8db25c1a87967f98cd924acab7c35206b2653a","datavalue":{"value":{"amount":"+0.91106856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677090$4698A25B-A5E2-4FBE-B94B-C7EE0DC152FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e9b391eea88ebdfed46334a127c7e6e7f836c2","datavalue":{"value":{"entity-type":"item","numeric-id":3524770,"id":"Q3524770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac79aafaa51f9b35db466ef66eee34e054f4b90","datavalue":{"value":{"amount":"+0.9034013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677090$5C7431D8-5DB2-454F-8659-1D3614DD53B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2a99cfb43149a54e5dbffe442ab08e7ceff3b7","datavalue":{"value":{"entity-type":"item","numeric-id":4488085,"id":"Q4488085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37a05db65dec8c323b49e2ccd709c8fab9512d8","datavalue":{"value":{"amount":"+0.89816034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677090$7E3416D6-EDBE-47BF-8953-140BE5241D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee047fd1abda5e65e55846556292a8106683dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2278151,"id":"Q2278151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a6d00960ae7e319ec39218c7f63e6db8e73d2a","datavalue":{"value":{"amount":"+0.89708376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677090$5E55B162-4A9A-4BD5-A3E7-45B2F07EB6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e495a459886c819f51188369321ccb1b7bebc9c","datavalue":{"value":{"entity-type":"item","numeric-id":1902978,"id":"Q1902978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7260cbbb0cbbce2bf3c3c2ac432a71c5919a0af7","datavalue":{"value":{"amount":"+0.8967917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677090$22891252-B43F-40F6-AB2C-53A7D3D5431F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112a02ec1ce7fd968f1d1d88ca273c4e51685c24","datavalue":{"value":{"entity-type":"item","numeric-id":1109336,"id":"Q1109336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"732837cdf331c6bf74b4609acdf9ddd8496a42fd","datavalue":{"value":{"amount":"+0.8922971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677090$E1366210-7A61-41BA-851A-70331DDB0AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17d702f1a20e88f210fd3bf04c8d9d6d52118ed5","datavalue":{"value":{"entity-type":"item","numeric-id":3756889,"id":"Q3756889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5accc496af155d750481c9cf2ae876db230cf1","datavalue":{"value":{"amount":"+0.8909199","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677090$74F73061-DAF3-49DA-AC77-2A41DA082603","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axioms of elementary geometry and the Greek theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axioms_of_elementary_geometry_and_the_Greek_theorems"}}}}}