axiom

<http://www.wikidata.org/entity/Q17736>

statement of a theory that is taken to be true
rdfs:label
"axiom"@en
skos:altLabel
"postulate"@en
schema:description
"statement of a theory that is taken to be true"@en
schema:dateModified "2026-08-31T06:45:16+00:00"^^xsd:dateTime
schema:version 2538526299
wikibase:identifiers 31
wikibase:sitelinks 119
wikibase:statements 54
p:P10283 wd:statement/Q17736-9BBB52C3-9A9F-4C48-B822-01AD5D0AD467
p:P10376 wd:statement/Q17736-a935ff65-44b1-fdec-6bf3-fb98e192e347
p:P11422 wd:statement/Q17736-a82f6bc3-413c-588b-3f92-518d40c22dc5
p:P11514 wd:statement/Q17736-37B5D5C0-8515-4A0E-BE62-2F2755B82A77
p:P12385 wd:statement/Q17736-600c1725-49ab-404e-9925-b15f1430e50a
p:P1245 wd:statement/Q17736-D397AFA5-7953-42F9-88E1-90ED1592146D
p:P12800 wd:statement/Q17736-BB0F8987-3FC6-4114-863D-323D4E469742
p:P1296 wd:statement/Q17736-933231B0-BAA1-4E34-A169-F8DEA8B9FF64
p:P13204 wd:statement/Q17736-DB0D8987-6F95-4D49-B96F-0C683879A77A
p:P1343 wd:statement/Q17736-05938DA6-2B9B-4300-9807-531E2EC44A18
wd:statement/Q17736-0a7cb741-4d97-45b0-9447-b67b40a9e176
wd:statement/Q17736-0cf2b5ad-62c1-4322-bc73-9205489c9c46
wd:statement/Q17736-15bd571a-4f64-7d4f-f8b2-5a61819022cb
wd:statement/Q17736-5CDE1532-3632-455A-B757-97B08A83DD3E
wd:statement/Q17736-8A306A02-095E-4AD2-9803-1279D3A6A4CE
wd:statement/Q17736-c3c2a192-4fcb-2d27-c77a-309657880b1d
wd:statement/Q17736-DF2F7604-3902-4EB7-8212-091D20135C04
wd:statement/Q17736-f27ccbfc-2835-4fbb-a950-b10cb4152595
p:P1482 wd:statement/Q17736-bf3970e0-4a1e-ffc4-3d50-548df2ec50ed
p:P1535 wd:statement/Q17736-d70fe7cf-4e41-2b3a-7ff0-5ab059caff80
p:P1889 wd:statement/Q17736-64EF669E-DA5D-4AE2-A988-BEBF033C839D
p:P2347 wd:statement/Q17736-391E6C46-8792-4FAF-B33A-960A20376D4B
p:P244 wd:statement/Q17736-4269489b-4ff1-e065-b176-a996897e05b0
p:P2581 wd:statement/Q17736-956f95a3-4166-e17d-7358-83cbe1c55118
p:P279 wd:statement/Q17736-74331e58-493a-c762-7006-aa1f82e4b259
wd:statement/Q17736-766ff073-4875-c5cd-74a7-4c8c1ce6d68a
wd:statement/Q17736-b5533610-4dca-0349-b99a-d0a167a03a0b
p:P2812 wd:statement/Q17736-506f3f24-4605-30aa-5887-bc8036466806
p:P2924 wd:statement/Q17736-8813958C-A7D3-45D4-B632-8753917E6E66
p:P31 wd:statement/Q17736-c1bda8d8-4b13-4221-ca0c-4df8010f6371
p:P3417 wd:statement/Q17736-df291a21-40f5-b872-152d-9f9d3a7d3380
p:P3553 wd:statement/Q17736-7A5402F0-C7F1-4446-99C2-5CA22844C055
p:P361 wd:statement/Q17736-6380b7ed-4dd4-ac7f-def2-cfce80d7a126
p:P3827 wd:statement/Q17736-5F0C50E1-BBB7-4A84-AE14-692227F1FF97
p:P4215 wd:statement/Q17736-2E8F9AF8-D64D-46A8-B1C8-242D1832D2C1
p:P4342 wd:statement/Q17736-233A2F06-5082-49C4-8CFB-C4F04D99774C
wd:statement/Q17736-a839cabc-45f7-c285-c072-a918c7c1b6ad
p:P460 wd:statement/Q17736-69782014-4157-dba7-a609-69ec84d38c12
p:P5008 wd:statement/Q17736-920717D5-D5BF-4AC3-8953-8EF0BFDE8300
p:P508 wd:statement/q17736-8554278B-13DB-42B9-9754-BD3E76DF1A48
p:P6104 wd:statement/Q17736-B9976C3C-594F-4AE8-BF85-172243B696FE
p:P6366 wd:statement/Q17736-EA6A1F1F-BFF6-412B-9736-357E77C77650
p:P6385 wd:statement/Q17736-40073dbd-464e-e4c3-d28c-78d06a0bc4d6
p:P646 wd:statement/Q17736-42BF6296-DCD4-43F8-BB75-EBAFBFE4681C
p:P7033 wd:statement/Q17736-852A08C2-67B3-46E9-945D-61763F4558FD
p:P7314 wd:statement/Q17736-16BD1667-E4C6-4733-B1A9-899043D3500B
p:P7502 wd:statement/Q17736-4AB88A02-59E2-46A7-B09B-998D99844CE1
p:P7993 wd:statement/Q17736-DB504A3C-1392-40B4-9A7D-B91846A49B97
p:P805 wd:statement/Q17736-94CEC9A9-2175-4CCE-874C-EFBD6580C922
p:P8189 wd:statement/Q17736-47a02ea5-4ed2-0f79-0a36-6e518ebbd814
p:P8313 wd:statement/Q17736-8AEF7A53-FE16-4AC4-97B5-FA2EA6785233
p:P8408 wd:statement/Q17736-26DA21B1-9576-42DB-B878-E3DEEB3BA75E
p:P910 wd:statement/Q17736-5636143C-E1ED-4A3A-A29F-3DD50780052D
p:P989 wd:statement/Q17736-6EFDA3FE-85CE-4B70-9E5D-9766C139E92E
p:direct-normalized/P2347 <http://www.yso.fi/onto/yso/p15253>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/sh85010589>
p:direct-normalized/P2581 <http://babelnet.org/rdf/s00007529n>
p:direct-normalized/P508 <http://purl.org/bncf/tid/13734>
p:direct-normalized/P6366 <https://makg.org/entity/167729594>
p:direct-normalized/P7033 <http://vocabulary.curriculum.edu.au/scot/12531>
p:direct-normalized/P8408 <http://kbpedia.org/kko/rc/MathematicalAxiom>
wdt:P10283 "C167729594"
wdt:P10376 "earth-and-planetary-sciences/axiom"
wdt:P11422 "axiom"
wdt:P11514 "aksioma-44cdbc"
wdt:P12385 "axioma-1"
wdt:P1245 "447801"
wdt:P12800 "fr:Axiome"
wdt:P1296 "0082427"
wdt:P13204 "auf8eebq"
wdt:P1343 wd:Q602358
wd:Q2041543
wd:Q4532138
wd:Q9253865
wd:Q12049440
wd:Q19180675
wd:Q124737636
wd:Q867541
wdt:P1482 <https://proofassistants.stackexchange.com/tags/axioms>
wdt:P1535 wd:Q11538
wdt:P1889 wd:Q792548
wdt:P2347 "15253"
wdt:P244 "sh85010589"
wdt:P2581 "00007529n"
wdt:P279 wd:Q1396667
wd:Q207505
wd:Q536351
wdt:P2812 "Axiom"
wdt:P31 wd:Q24034552
wdt:P3417 "Axioms-logic-and-mathematics"
wdt:P3553 "19671892"
wdt:P361 wd:Q792542
wdt:P3827 "axioms"
wdt:P4215 "axiom"
wdt:P4342 "aksiom"
wdt:P460 wd:Q1396667
wdt:P5008 wd:Q6173448
wdt:P508 "13734"
wdt:P6104 wd:Q8487137
wdt:P6366 "167729594"
wdt:P6385 "nauka_i_tehnika/matematika/AKSIOMA.html"
wdt:P646 "/m/0l0r"
wdt:P7033 "scot/12531"
wdt:P7314 "bedihi"
wdt:P7502 "Axiom-X5Y"
wdt:P7993 "assioma"
wdt:P805 wd:Q104877718
wdt:P8189 "987007282445805171"
wdt:P8313 "aksiom"
wdt:P8408 "MathematicalAxiom"
wdt:P910 wd:Q8611992
wdt:P989 <http://commons.wikimedia.org/wiki/Special:FilePath/Nl-Axioma-article.ogg>

Inverse relations

[ .. ] → wdt:P31 → axiom

action axiom aksiomo de kunaĵo Arkhimedeen lause axiom of reducibility Axiom úplného výběru axioma de Veblen-Young axioma del conjunt buit bivalencia Church's thesis Clausius's postulate Exzeptionalismus Induktionsaxiom Karo law of dissipation line congruence axiom Paschin aksiooma Peripatetik aksiom point congruence axiom point connection axiom prescriptivity ... show all 37

[ .. ] → schema:about → axiom

Aksiomschema:Article Aksiomschema:Article Aksiomschema:Article Aksiomschema:Article Aksiomschema:Article Aksiomaschema:Article Aksiomaschema:Article Aksiomaschema:Article Aksiomaschema:Article Aksiyomschema:Article Aksjomatschema:Article Aksyomaschema:Article Asiomaschema:Article Assiomaschema:Article Assiòmaschema:Article Axiomschema:Article Axiomschema:Article Axiomschema:Article Axiomaschema:Article Axiomaschema:Article ... show all 119

[ .. ] → wdt:P279 → axiom

Axiom der Mengenlehre axiom schema of unrestricted comprehension axioma del conjunt buit Ente geometrico fondamentale esquema d'axioma de reemplaçament Ex falso quodlibet homogeniteitsbeginsel Huzita–Hatori axioms logical axiom metakommunikatives Axiom Open-world assumption proper axiom Tankelagar Waarskynlikheidsaksiomas Аксиоматика Тарского дапушчэньне пра закрытасьць сьвету אקסיומת ההפרדה ヒルベルトの公理

[ .. ] → p:statement/P2670 → axiom

<http://www.wikidata.org/entity/statement/Q842755-d6b6a517-432b-0901-2f15-1a6ec136d00c>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q792542-7f04d4fb-4fbc-fedf-e5e2-5d7a87a8551d>wikibase:BestRank

[ .. ] → wdt:P921 → axiom

1911 Encyclopædia Britannica/Axiom Arbeidernes leksikon/Aksióm Axiom Axioma Encyclopædia Britannica, Ninth Edition/Axiom Encyklopedja Kościelna/Axiomat On an Evolutionist Theory of Axioms ЭСГ/Аксиома ЭСГ/Постулат

[ .. ] → p:qualifier/P2670 → axiom

<http://www.wikidata.org/entity/statement/Q792542-4855eef8-4aef-7be9-f88a-0c85cb06514e>wikibase:BestRank

[ .. ] → wdt:P460 → axiom

axiom Postulado

[ .. ] → p:statement/P31 → axiom

<http://www.wikidata.org/entity/statement/Q4830553-4bb72d3f-4801-3d7b-1ca6-170d8e2c9b11>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q1860722-e0f799c8-4522-0820-3333-430cbad20388>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q7240902-49f87ffb-42bd-64d5-0eb4-b1a4dec85bd2>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q2110857-c2c82eb1-4c72-45c6-c274-b16814a9e013>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q54500890-6a60c196-445d-1f4f-ca47-60467435f9ce>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q3915714-901d3c98-4ece-810b-954f-17aa9d2cb97c>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q6549544-fe84c6fa-4dbb-b3d6-d6b7-e96ef5b789b4>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q208416-b3158e07-4363-9846-5448-1c9d5fc4f34c>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q1987722-8bf487fc-48ae-3d94-a262-96e97ede2859>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q4677185-16FB0B03-F895-43CA-9469-0B5124A32E89>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q2045366-1f12a4a6-437b-4bc7-d401-a8eafc124b43>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q207014-3a1839fb-4fc5-9b11-e68b-dcf64541e95a>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q3511558-2e252b12-47a6-bb1d-7624-cef2387c6637>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q5572389-b84dd319-459d-35ef-334a-b7e622735bad>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q468422-8f9d1347-4521-e966-150e-eb462494b1b0>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q792528-c80d9c4c-4b47-08fe-7806-947eb2ce9195>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q1734160-9c371979-4a68-297e-a22f-3a40aa5c0979>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q634579-5e8a73e5-4fa8-552b-d479-193d83a2526f>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q4830560-c2f1fcf7-46f3-79a7-4881-ba0afb806bee>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q54506667-515d9202-4454-1bae-00cc-d30fd282a234>wikibase:BestRank ... show all 37

[ .. ] → p:statement/P279 → axiom

<http://www.wikidata.org/entity/statement/Q60190-24bff975-44ef-f07d-2e70-09a036c588cc>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q2771996-56c7aad3-43ca-3463-7521-54c7ac290a32>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q2258559-06f58c92-46db-6d77-6142-72648b9b2cad>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q840243-3cb50168-4b3e-6b63-d82b-fe99837ee029>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q3625634-b7ef9439-43b8-a46a-25eb-fd496f193893>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q211364-d6b9966e-45e0-09a0-5002-5e224451868f> <http://www.wikidata.org/entity/statement/Q974605-C45B701F-082F-48DF-915A-F0F7F29D3E37>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q1924772-3aba7aa8-4364-ad92-fdef-43fca0f1c350>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q780487-492ce949-4511-86ad-5371-65315c375877>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q36191904-adb872ae-4bdd-b5b1-84ba-adade4fd29e6>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q7686756-7f2c7bf9-4b05-25f6-4d4c-ab0e8d4ae3a1>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q2045366-5c118f40-45d5-7e8b-544e-8e720d451db5>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q851949-0f68dd9f-4382-c5f1-a4e9-006a7a30dac0>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q743321-5589cb03-49a1-39d1-f9c1-69f472ac5abd>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q2874792-c10a06b9-4f69-2578-a1e2-cd4eabdb162f>wikibase:BestRank

[ .. ] → owl:sameAs → axiom

<http://www.wikidata.org/entity/Q25633407> <http://www.wikidata.org/entity/Q65342525> <http://www.wikidata.org/entity/Q2874786>

[ .. ] → p:statement/P301 → axiom

<http://www.wikidata.org/entity/statement/q8611992-2641E222-DDDD-4E7B-ACB5-D4DB504AE68F>wikibase:BestRank

[ .. ] → wdt:P2283 → axiom

הוכחה

[ .. ] → p:statement/P460 → axiom

<http://www.wikidata.org/entity/statement/Q11850414-55ea036f-4bb6-b312-6893-725149c6eec7>wikibase:BestRank

[ .. ] → wdt:P1889 → axiom

postulante аксион

[ .. ] → wdt:P301 → axiom

تصنيف:بديهيات رياضية

[ .. ] → p:qualifier/P2308 → axiom

<http://www.wikidata.org/entity/statement/P14039-4fec7ab6-428d-59bb-2ca8-a544ad850f8f>wikibase:BestRank <http://www.wikidata.org/entity/statement/P14039-8cee5dd9-4d7e-2580-63b4-7840add6a50c>wikibase:BestRank

[ .. ] → p:statement/P921 → axiom

<http://www.wikidata.org/entity/statement/Q137775194-311fd19c-493a-91f5-0bcb-f9cf93fc0165>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q84639204-ef5612bc-89b6-4ed1-a813-b1b987152c6a>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q87334642-9b1dc24e-a8f3-400f-aefd-7d05162a68b0>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q87335815-7b6b9faa-b15e-4ad6-a9eb-307260c7c29b>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q26720682-c1e378c3-4fea-2ec3-c81d-eea046158fc5>wikibase:BestRank

[ .. ] → wikibase:quantityUnit → axiom

<http://www.wikidata.org/value/43aa49105ba5fb188cc521565a3af4fe>wikibase:QuantityValue

[ .. ] → p:qualifier/P1552 → axiom

<http://www.wikidata.org/entity/statement/Q139384221-73f6e65f-4751-3ab9-8505-79edbaab3c99>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q139301505-00a1e96e-46f2-2835-4018-76f3a54d0d7f>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q139384221-096f9fe3-4f57-cf30-b35c-8a7d78abbca8>wikibase:BestRank

[ .. ] → wdt:P360 → axiom

Liste der Axiome

[ .. ] → wdt:P5137 → axiom

<http://www.wikidata.org/entity/L1562823-S1>http://www.w3.org/ns/lemon/ontolex#LexicalSense

[ .. ] → p:statement/P360 → axiom

<http://www.wikidata.org/entity/statement/Q3632199-9120f2f0-4233-01c5-31cc-5fcd9dbcc6fb>wikibase:BestRank

[ .. ] → p:statement/P5137 → axiom

<http://www.wikidata.org/entity/statement/L1562823-S1-6111ddc7-4649-2928-abbf-5ce0743342ab>wikibase:BestRank

[ .. ] → wdt:P2670 → axiom

Axiomensystem Формаллĕ арифметика

[ .. ] → p:statement/P1889 → axiom

<http://www.wikidata.org/entity/statement/Q792548-29BE2591-318A-402B-A5C5-70866364887F>wikibase:BestRank

[ .. ] → wdt:P180 → axiom

Axioms from Spinoza's Ethics
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://query.wikidata.org/sparql