Gödel's incompleteness theorems

theorem that a wide class of logical systems cannot be both consistent and complete
rdfs:label
"Gödel's incompleteness theorems"@en
skos:altLabel
"مبرهنات عدم الاستكمال لغودل"@ar
"مبرهنات غودل في عدم الاستكمال"@ar
"مبرهنة عدم الإكتمال لغودل"@ar
"مبرهنة عدم الاكتمال لغودل"@ar
"مبرهنه عدم الاكتمال لغودل"@ar
schema:description
"theorem that a wide class of logical systems cannot be both consistent and complete"@en
schema:dateModified "2026-10-30T05:06:48+00:00"^^xsd:dateTime
schema:version 2562442896
wikibase:identifiers 27
wikibase:sitelinks 59
wikibase:statements 38
p:P10283 wd:statement/Q200787-77006F58-A53B-458E-8A97-032F54D397DB
p:P1036 wd:statement/Q200787-b0ca97b2-4247-1080-a570-4f3f8345ec45
p:P10376 wd:statement/Q200787-7347fe29-48f1-f265-7b24-3368a2f6d19a
p:P12800 wd:statement/Q200787-46785040-F743-449B-8C26-2E3349B9A8EA
p:P1318 wd:statement/Q200787-537c2196-43b4-2c87-95be-5cce188ca106
p:P13204 wd:statement/Q200787-A3669721-6F3D-4836-A62E-06C10AD9E767
p:P13591 wd:statement/Q200787-9411AC5E-02C8-42A7-A622-D583BA61B202
p:P1368 wd:statement/Q200787-5a1bfde1-4e0b-1251-76a1-3ea4c0393706
p:P13772 wd:statement/Q200787-63AF42B3-BE05-4925-B9E1-85F1D19CF895
wd:statement/Q200787-953B6813-CD3A-489C-B141-7BEF4FEE99FB
p:P138 wd:statement/q200787-2ED09716-7BE9-4960-89A0-78CB5CF7154A
p:P1417 wd:statement/Q200787-46A11A79-90C7-4195-9B7D-C4139578F510
p:P1617 wd:statement/Q200787-5B7A55E2-0146-4604-A411-7C3D1C9285FC
p:P1889 wd:statement/Q200787-53AF2123-68D3-4FE2-97A2-D4C17ADAA0E2
p:P227 wd:statement/Q200787-A71F7D2D-AFB2-4DF7-8AA8-214BC38A14C2
p:P244 wd:statement/Q200787-480edcd0-4d99-4d64-b771-c46b8e07a67b
p:P2579 wd:statement/Q200787-2dc98875-4519-a835-7b2c-7a3537a3c8b3
p:P268 wd:statement/Q200787-449a0fe0-c2e1-4df9-8b94-a65beca9a482
p:P2812 wd:statement/Q200787-0A14E9F0-DDD8-4B4E-BAC7-A30DA2B89451
p:P31 wd:statement/Q200787-b284c07e-4538-1301-14c4-45bd79b947ba
wd:statement/Q200787-bc09e3f6-439b-ff53-465b-6c1a6ec5351b
p:P3123 wd:statement/Q200787-ee777a20-4066-0262-795d-0c7e22c39fd6
p:P3219 wd:statement/Q200787-A1C37E98-D65E-42C9-AAEF-320315BFDF68
p:P361 wd:statement/Q200787-6D466FF2-108F-49A7-B839-67FED9AA0CFD
p:P3847 wd:statement/Q200787-e173f5f7-4a3b-0d96-f4e8-b89e06e2b8ab
p:P5008 wd:statement/Q200787-97970DAC-A647-4CDF-9FAB-41948EB7E885
p:P508 wd:statement/q200787-171EB64E-1C07-44E0-8502-6C2D255B5DB6
p:P527 wd:statement/Q200787-360c2cfe-4779-dfbf-df84-9ebc6be042d2
wd:statement/Q200787-b18d3ca2-4d10-8407-ceab-863412fb5f19
p:P6104 wd:statement/Q200787-7B45F9A6-0DDD-4B4D-A55B-102143E96073
p:P6366 wd:statement/Q200787-E96EC11E-F72D-4E26-81F9-4A0CE61A2ACD
p:P646 wd:statement/Q200787-5D0DC8A5-FEF2-41E9-8170-C1E3FA4BDCD4
p:P6900 wd:statement/Q200787-e380fc7c-4d00-0dac-6036-d96ebf45c884
p:P691 wd:statement/Q200787-2F27598D-0095-40FE-8B36-D6D2AB9FE215
p:P7775 wd:statement/Q200787-6C2C9660-CE5E-478F-87F6-8BDFF0695E5A
p:P8189 wd:statement/Q200787-903D61A9-6A10-49A1-AA06-6EFC15860E0C
p:P8313 wd:statement/Q200787-4BC7298B-30B4-4DCB-95C1-B7DDA5D98350
p:P9322 wd:statement/Q200787-DB87CA0A-2CAB-45EA-9E90-D15174A6951B
p:direct-normalized/P1617 <http://www.bbc.co.uk/things/b7241c11-e85a-45a2-b34c-166ed6e20378#id>
p:direct-normalized/P227 <https://d-nb.info/gnd/4021417-5>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/sh85055601>
p:direct-normalized/P268 <http://data.bnf.fr/ark:/12148/cb119412145#about>
p:direct-normalized/P508 <http://purl.org/bncf/tid/33340>
p:direct-normalized/P6366 <https://makg.org/entity/180937797>
wdt:P10283 "C180937797"
wdt:P1036 "511.3"
wdt:P10376 "mathematics/incompleteness-theorem"
wdt:P12800 "fr:Théorèmes_d'incomplétude_de_Gödel"
wdt:P1318 Kurt Gödel
wdt:P13204 "mhjgmruj"
wdt:P13591 "concept/5c96e0c6-0c7a-4edb-b834-3ce63488e839"
wdt:P1368 "000138852"
wdt:P13772 "godels-theorem"
"incompleteness-theorems"
wdt:P138 Kurt Gödel
wdt:P1417 "topic/incompleteness-theorem"
wdt:P1617 "b7241c11-e85a-45a2-b34c-166ed6e20378"
wdt:P1889 Gödel's completeness theorem
wdt:P227 "4021417-5"
wdt:P244 "sh85055601"
wdt:P2579 foundations of mathematics
wdt:P268 "119412145"
wdt:P31 theorem
wdt:P3123 "goedel-incompleteness"
wdt:P3219 "godel-theoremes-d-incompletude"
wdt:P361 list of theorems
wdt:P3847 "gödel's_theorem"
wdt:P5008 Wikipedia:Vital articles/Level/4
wdt:P508 "33340"
wdt:P527 Gödel's second incompleteness theorem
Godel's first incompleteness theorem
wdt:P6104 WikiProject Mathematics
wdt:P6366 "180937797"
wdt:P646 "/m/0dfsl"
wdt:P6900 "不完全性定理"
wdt:P691 "ph920022"
wdt:P7775 "Gödel's_incompleteness_theorems"
wdt:P8189 "987007533661305171"
wdt:P8313 "Gödels_sætning"
wdt:P9322 "0376811-Godelovy-vety"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata