{"entities":{"Q40963":{"pageid":41019,"ns":120,"title":"Item:Q40963","lastrevid":105427700,"modified":"2026-10-09T10:08:08Z","type":"item","id":"Q40963","labels":{"en":{"language":"en","value":"Hereditarily Finite Sets"}},"descriptions":{"en":{"language":"en","value":"AFP entry HereditarilyFinite"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"a983385ca9cb9ef30bdebba3c1e85e6b9521b046","datavalue":{"value":"29249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40963$4983DCDE-DC29-4DFA-AB79-E5E06B8DF16A","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"7bbe86b0261dee7c29c9c876b2c4dc91563fa258","datavalue":{"value":{"entity-type":"item","numeric-id":3454094,"id":"Q3454094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$B3FF9B1D-E107-4E8C-B0B0-68C89A039D40","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$63C8D78B-51D3-49D2-8978-D1C05BAF8159","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"759a6aac22f9ad1cabae35050be1fe08daa3b93b","datavalue":{"value":"https://www.isa-afp.org/entries/HereditarilyFinite.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40963$6B366649-D34B-472C-B1EF-D118D99EA280","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40963$6A84DB98-0EA8-45B4-AB8A-56BFCC912653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40963$7785BD0C-994A-4DAF-A12B-045446D62D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40963$B54FD67C-3F46-4E2A-917C-14EDE2214D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40963$4D9945CA-80BE-47AF-A8F3-5773AF3A9ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24f8ba20e8ffa07910d0666302c1f09a25449c97","datavalue":{"value":"5.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40963$1217625D-BF7B-4611-AF64-0D8C2E1B954D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40963$5AF44C1B-7C3F-4230-8CF9-982AC01819BD","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"81319f5b8664d8398f69fd7004689cf3156bb740","datavalue":{"value":{"entity-type":"item","numeric-id":40964,"id":"Q40964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$EA12FBCB-65F8-41D9-97A6-C49ADBBE8B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$F940C1C4-2B5F-4DAC-8516-0176A0E95643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2778ef58df5d105bc5fcd1f1e6190b4cffc33d19","datavalue":{"value":{"entity-type":"item","numeric-id":40261,"id":"Q40261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$2FD0C8A2-B39A-4DCF-8EE9-C8B5D59B34C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c1161e1e8de5a1bc9eb8260f27cf5114412c2b8a","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$2EFF9B0D-FCE3-48BE-B0A2-E39AD634CE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea53781dc0a29ca150a09c3de99800e897e49297","datavalue":{"value":{"entity-type":"item","numeric-id":40507,"id":"Q40507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$FFAC08BF-2D72-4308-9B67-E393B781C732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$B0EC333C-3650-4FEF-990B-DD61B69F5DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"27b35591f9a1d87570b3e9ffb19e51ff7cd09a28","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$9CE918FE-8202-43D5-8ECF-660CEF16636D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$715EE685-A12E-4BF3-A835-675DDBEE935F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$80AD6BDC-21E2-4D72-9C43-413659EC766D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ab576408136da65ce68abf8488b4c4362524857b","datavalue":{"value":{"entity-type":"item","numeric-id":43941,"id":"Q43941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$7D1614D2-21B7-49B7-A366-B505271176A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"feba23e7c41ba4aa38bf2dee9205344029ea237a","datavalue":{"value":{"entity-type":"item","numeric-id":40317,"id":"Q40317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$48709178-4C07-4E21-8EA5-4223E1B4B54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"814bcfb4a1f7d9f1a4e1c2e85965c0fb9e00363f","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$592D8FDD-6992-4995-A537-0181CC69EE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e0d87f6fcdc693f0adac603a0f2d2f48ab1094de","datavalue":{"value":{"entity-type":"item","numeric-id":40312,"id":"Q40312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$0C716B49-0DC5-4092-9C0C-05E2E2314577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb0bb7298ee3f535da596bef22c2f5c7449c7dc4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$D3DD294A-49E1-463B-A360-8D9A115A62BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"426782fbdde38f1df05faf0243ad602781d86c1e","datavalue":{"value":{"entity-type":"item","numeric-id":28139,"id":"Q28139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$E1BFAEBC-AC4C-4E65-ACEC-586B7514221A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e3e9bb7b329ec8e71fcb8b28c9805dd4509dedab","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$790A1E8C-6F73-4469-8E1E-C8D7BCB3525C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"475b592b7f3c7573e79f818da959e13eb74264b6","datavalue":{"value":{"entity-type":"item","numeric-id":32994,"id":"Q32994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$53DA4641-7C7A-46BC-84A1-E3C904EC34FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc4eff68b160f30b8d66dfcb610a0ea7a927079b","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$F24E2239-481D-43EF-9B2D-CAE44703F3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d0ddbde69b2a268285fa6ad8863ac28942f69652","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$C3CEA1BD-0436-472E-9859-C864BCDCDBA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12505f4b2e8ff1d4e09569c9f8d76c2df285dee7","datavalue":{"value":"https://isa-afp.org/entries/HereditarilyFinite.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40963$0BE51B02-511D-4FCC-BC03-390D501CB044","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7479166f83b44c07c9a493479bd3c0ed2c72ef23","datavalue":{"value":"Lawrence C. Paulson","type":"string"},"datatype":"string"},"type":"statement","id":"Q40963$6281D6E0-0910-4115-B0F8-4BBE9313CE47","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3cf41e6d7cebbc02bd74c7ca97860d16b0b70c0","datavalue":{"value":"The theory of hereditarily finite sets is formalised, following the development of Swierczkowski. An HF set is a finite collection of other HF sets; they enjoy an induction principle and satisfy all the axioms of ZF set theory apart from the axiom of infinity, which is negated. All constructions that are possible in ZF set theory (Cartesian products, disjoint sums, natural numbers, functions) without using infinite sets are possible here. The definition of addition for the HF sets follows Kirby. This development forms the foundation for the Isabelle proof of G\u00f6del's incompleteness theorems, which has been formalised separately .","type":"string"},"datatype":"string"},"type":"statement","id":"Q40963$4DABB33D-501A-4B31-B3B2-B06984EBE369","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55f8c2b319d70b60be30ee404d4dbd182565eb7","datavalue":{"value":{"entity-type":"item","numeric-id":3423150,"id":"Q3423150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$1E30145F-B609-4DFD-B2FA-1F96B29035CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a251d54cb8d77477d7b56edd116f203ae2ce0345","datavalue":{"value":{"entity-type":"item","numeric-id":4829437,"id":"Q4829437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$E8CCB1E2-FA53-4E66-B009-5FE6C2414C2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a591a0a7680cf5422afb615fc9041972e3bd7c4","datavalue":{"value":{"time":"+2013-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40963$0A3DAC07-9572-4043-BA95-88A68A6A70FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf70c5df341391417588a410758fff8d39da05a0","datavalue":{"value":{"text":"The Hereditarily Finite Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40963$30E8283F-A8C0-40DD-B4E1-44DB982F4AE1","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$AD6D1947-3E1C-447D-991F-D048693D744C","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"aae4e841d888433a47c995aa4de254ab1873976e","datavalue":{"value":{"entity-type":"item","numeric-id":7360819,"id":"Q7360819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40963$0DAFD568-6457-4D0D-80F8-717F74442CC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hereditarily Finite Sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hereditarily_Finite_Sets"}}}}}