@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q200787 rdfs:label "مبرهنات عدم الاكتمال لغودل"@ar,
        "teoremes d'incompletitú de Gödel"@ast,
        "тэарэмы Гёдэля аб няпоўнасьці"@be-tarask,
        "Теорема на Гьодел за непълнота"@bg,
        "Gödelove teoreme nepotpunosti"@bs,
        "teorema d'incompletesa de Gödel"@ca,
        "Gödelovy věty o neúplnosti"@cs,
        "Гёделĕн туллимарлăх теореми"@cv,
        "Gödels ufuldstændighedssætning"@da,
        "Gödelscher Unvollständigkeitssatz"@de,
        "Θεωρήματα μη πληρότητας του Γκέντελ"@el,
        "Gödel's incompleteness theorems"@en,
        "teoremoj de nekompleteco"@eo,
        "teoremas de incompletitud de Gödel"@es,
        "Gödeli mittetäielikkuse teoreem"@et,
        "Gödelen ez-osotasunaren teoremak"@eu,
        "قضیههای ناتمامیت گودل"@fa,
        "Gödelin epätäydellisyyslause"@fi,
        "théorèmes d'incomplétude de Gödel"@fr,
        "Cruthú Gödel"@ga,
        "teorema da incompletude de Gödel"@gl,
        "Gödelscher Unvollständigkeitssatz"@gsw,
        "משפטי האי-שלמות של גדל"@he,
        "गाडेल का अपूर्णता प्रमेय"@hi,
        "Gödelovi teoremi nepotpunosti"@hr,
        "Gödel első nemteljességi tétele"@hu,
        "Teorema ketaklengkapan Gödel"@id,
        "Godel-teorio"@io,
        "teoremi di incompletezza di Gödel"@it,
        "ゲーデルの不完全性定理"@ja,
        "გოდელის არასრულობის თეორემები"@ka,
        "ಗೋಡೆಲ್ರ ಅಪೂರ್ಣತೆಯ ಪ್ರಮೇಯ"@kn,
        "불완전성 정리"@ko,
        "Theoremata Gödel de imperfectione"@la,
        "Геделови теореми за непотполноста"@mk,
        "Бүрэн бус байдлын тухай Гёдэлын теоремууд"@mn,
        "ဂူဒယ်၏ မပြည့်စုံခြင်းသီအိုရမ်များ"@my,
        "Gödels ufullstendighetsteoremer"@nb,
        "onvolledigheidsstellingen van Gödel"@nl,
        "Ufullstendigheitsteorema"@nn,
        "Teoreme de Gödel"@nov,
        "ਗੋਇਡਲ ਦੀਆਂ ਅਪੂਰਨਤਾ ਦੀਆਂ ਥਿਊਰਮਾਂ"@pa,
        "Twierdzenie Gödla"@pl,
        "teoremas da incompletude de Gödel"@pt,
        "teoremas da incompletude de Gödel"@pt-br,
        "teoremele de incompletitudine ale lui Gödel"@ro,
        "Теорема Гёделя о неполноте"@ru,
        "Tiurema d'incumplitizza di Gödel"@scn,
        "Gödelova veta o neúplnosti"@sk,
        "Gödlova izreka o nepopolnosti"@sl,
        "Геделове теореме о непотпуности"@sr,
        "Геделове теореме о непотпуности"@sr-ec,
        "Gedelove teoreme o nepotpunosti"@sr-el,
        "Gödels ofullständighetssats"@sv,
        "கோடெலின் முழுமையற்ற தேற்றங்கள்"@ta,
        "గాడెల్ అసంపూర్ణత సిద్ధాంతం"@te,
        "ทฤษฎีบทความไม่บริบูรณ์ของเกอเดล"@th,
        "Gödel eksiklik teoremi"@tr,
        "Теореми Геделя про неповноту"@uk,
        "Gödel's incompleteness theorems"@ur,
        "Các định lý bất toàn của Gödel"@vi,
        "哥德唔完備定理"@yue,
        "哥德尔不完备定理"@zh,
        "哥德尔不完备定理"@zh-cn,
        "哥德尔不完备定理"@zh-hans,
        "哥德爾不完備定理"@zh-hant,
        "哥德爾不完備定理"@zh-hk,
        "哥德尔不完备定理"@zh-sg,
        "哥德爾不完備定理"@zh-tw ;
    schema1:dateModified "2026-10-30T05:06:48+00:00"^^xsd:dateTime ;
    schema1:description "مبرهنة ليس هناك نظرية كاملة ودقيقة"@ar,
        "مبرهنة ليس هناك نظرية كاملة ودقيقة"@ary,
        "тэарэмы матэматычнай лёгікі"@be-tarask,
        "teorema que afirma que una classe àmplia de sistemes lògics no pot ser alhora consistent i completa"@ca,
        "mathematischer Satz"@de,
        "theorem that a wide class of logical systems cannot be both consistent and complete"@en,
        "dos teoremas de lógica matemática"@es,
        "théorèmes de logique mathématique"@fr,
        "משפט יסודי בלוגיקה מתמטית"@he,
        "matematikai állítás"@hu,
        "teorema fundamental dalam bidang logika matematika"@id,
        "teoremi limitativi di logica matematica"@it,
        "形式化された数学の中では\"無矛盾な公理的理論内で証明も反証もできない命題が存在し、かつその公理的理論の無矛盾性はその公理的理論内では証明できない\"ことを示す定理（1931年証明）"@ja,
        "ವಿಶಾಲವಾದ ತಾರ್ಕಿಕ ವ್ಯವಸ್ಥೆಗಳು ಸ್ಥಿರ ಮತ್ತು ಪೂರ್ಣವಾಗಿರಬಾರದು ಎಂಬ ಸಿದ್ಧಾಂತವು"@kn,
        "스스로의 무모순성을 증명할 수 없다는 정리"@ko,
        "beperking van formele systemen"@nl,
        "dwa twierdzenia limitacyjne w logice"@pl,
        "Resultados limitativos em lógica matemática"@pt,
        "две теоремы математической логики о принципиальных ограничениях формальной арифметики"@ru,
        "trditev, da širok razred logičnih sistemov ne more biti hkrati konsistenten in popoln"@sl,
        "一個數學定理，講啲邏輯系統唔可以又一致又完整"@yue,
        "定理一個廣泛的邏輯系統不能既一致又完整"@zh ;
    schema1:version 2562442896 ;
    wikibase:identifiers 27 ;
    wikibase:sitelinks 59 ;
    wikibase:statements 38 ;
    skos:altLabel "مبرهنات عدم الاستكمال لغودل"@ar,
        "مبرهنات غودل في عدم الاستكمال"@ar,
        "مبرهنة عدم الإكتمال لغودل"@ar,
        "مبرهنة عدم الاكتمال لغودل"@ar,
        "مبرهنه عدم الاكتمال لغودل"@ar,
        "Теорема за непълнотата"@bg,
        "teorema d'incompletesa"@ca,
        "teorema d'incomplitud de Gödel"@ca,
        "teorema d’incompletesa de Gödel"@ca,
        "teoremes d'incompletesa de Gödel"@ca,
        "teoremes d'incompletesa de Kurt Gödel"@ca,
        "Druhá Gödelova věta"@cs,
        "Druhá Gödelova věta o neúplnosti"@cs,
        "Gödelova věta"@cs,
        "Gödelova věta o neúplnosti"@cs,
        "Gödelovy věty"@cs,
        "První Gödelova věta"@cs,
        "První Gödelova věta o neúplnosti"@cs,
        "Gödel'scher Unvollständigkeitssatz"@de,
        "Gödels Satz"@de,
        "Satz von Gödel"@de,
        "Unvollständigkeitssatz"@de,
        "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I"@de,
        "Θεωρήματα Μη-Πληρότητας του Γκέντελ"@el,
        "Θεώρημα μη-πληρότητας"@el,
        "Teoremoj de Gödel pri nekompleteco"@eo,
        "Teorema de Godel"@es,
        "Teorema de incompletitud"@es,
        "Teorema de incompletitud de Godel"@es,
        "Teorema de la incompletud de Godel"@es,
        "Teoremas de incompletitud de Godel"@es,
        "Teoremas de la incompletitud de Gödel"@es,
        "قضایای عدم تمامیت گدل"@fa,
        "قضایای ناتمامی گودل"@fa,
        "قضایای ناتمامیت"@fa,
        "قضایای ناتمامیت گدل"@fa,
        "قضیه عدم تمامیت گدل"@fa,
        "قضیه ناتمامیت گودل"@fa,
        "قضیههای عدم تمامیت گدل"@fa,
        "نظریه ناتمامیت گودل"@fa,
        "Epätäydellisyyslause"@fi,
        "Epätäydellisyysteoreema"@fi,
        "Gödelin epätäydellisyysteoreema"@fi,
        "Théorème d'incomplétude"@fr,
        "Théorème d'incomplétude de Gödel"@fr,
        "Théorème de Gödel"@fr,
        "Théorème d’incomplétude de Gödel"@fr,
        "Théorèmes d’incomplétude de Gödel"@fr,
        "Teorema da incompletitude de Gödel"@gl,
        "אי השלמות של גדל"@he,
        "משפט אי השלמות של גדל"@he,
        "משפט אי-השלמות"@he,
        "משפט גדל"@he,
        "משפט האי שלמות הראשון"@he,
        "משפט האי שלמות הראשון של גדל"@he,
        "משפט האי שלמות השני"@he,
        "משפט האי-שלמות הראשון"@he,
        "משפט האי-שלמות הראשון של גדל"@he,
        "משפט האי-שלמות השני של גדל"@he,
        "משפט חוסר השלמות של גדל"@he,
        "משפטי אי השלמות של גדל"@he,
        "משפטי אי-השלמות של גדל"@he,
        "משפטי גדל"@he,
        "משפטי האי שלמות של גדל"@he,
        "Teorio di Godel"@io,
        "Prova di incompletezza di Gödel"@it,
        "Secondo teorema di incompletezza di Gödel"@it,
        "Teorema d'incompletezza"@it,
        "Teorema d'incompletezza di Gödel"@it,
        "Teorema dell'incompletezza di Godel"@it,
        "Teorema di Godel"@it,
        "Teorema di Gödel"@it,
        "Teorema di incompletezza"@it,
        "Teorema di incompletezza di Gödel"@it,
        "Teoremi d'incompletezza"@it,
        "Teoremi di incompletezza di Goedel"@it,
        "ゲーデルの定理"@ja,
        "不完全性定理"@ja,
        "괴델의 불완전성 정리"@ko,
        "괴델의 제2 불완전성 정리"@ko,
        "불완비성 정리"@ko,
        "불완전성의 정리"@ko,
        "Ufullstendighetsteoremet"@nb,
        "Godel's theorem"@nl,
        "Godels onvolledigheidsstelling"@nl,
        "Godels theorem"@nl,
        "Gödels onvolledigheidsstelling"@nl,
        "Incompleetheidstheorema"@nl,
        "Onvolledigheidsstelling"@nl,
        "Onvolledigheidsstelling van Godel"@nl,
        "Onvolledigheidsstelling van Gödel"@nl,
        "Onvolledigheidsstellingen van Godel"@nl,
        "Onvolledigheidsstellingen van Goedel"@nl,
        "Stelling van Godel"@nl,
        "Stelling van Gödel"@nl,
        "Stellingen van Godel"@nl,
        "Stellingen van Gödel"@nl,
        "Theorem van Godel"@nl,
        "Gödels ufullstendigheitsteorem"@nn,
        "Teoreme de Godel"@nov,
        "Twierdzenie Godla"@pl,
        "Twierdzenie Goedla"@pl,
        "Conjectura de Gödel"@pt,
        "Teorema da incompletude"@pt,
        "Teorema da incompletude de Gödel"@pt,
        "Teorema da incompletude de godel"@pt,
        "Teoremas da indecidibilidade"@pt,
        "teoremas de incompletude de Gödel"@pt-br,
        "Teorema de incompletitudine"@ro,
        "Teorema de incompletitudine a lui Gödel"@ro,
        "Teoremele de incompletitudine"@ro,
        "Teoremele lui Gödel"@ro,
        "Вторая теорема Геделя"@ru,
        "Вторая теорема Гёделя"@ru,
        "Неполнота математики"@ru,
        "Теорема Геделя о неполноте"@ru,
        "Теорема неполноты"@ru,
        "Теорема о неполноте"@ru,
        "Теоремы Геделя о неполноте"@ru,
        "Теоремы Гёделя о неполноте"@ru,
        "Теоремы о неполноте"@ru,
        "Gödelova izreka o nepopolnosti"@sl,
        "Геделова теорема некомплетности"@sr,
        "Геделова теорема непотпуности"@sr,
        "Gödels ofullständighetsteorem"@sv,
        "Gödels teorem"@sv,
        "Ofullständighetsteorem"@sv,
        "Ofullständighetsteoremet"@sv,
        "ทฤษฎีบทความไม่บริบูรณ์"@th,
        "ทฤษฎีบทความไม่สมบูรณ์ของเกอเดล"@th,
        "Gödel'in Yetersizlik Teoremi"@tr,
        "Gödel'in eksiklik kuramı"@tr,
        "Геделя теорема про неповноту"@uk,
        "Теорема Геделя про неповноту"@uk,
        "Теореми Ґьоделя про неповноту"@uk,
        "哥德尔不完全性定理"@zh,
        "哥德尔不完备性"@zh,
        "哥德尔不完备性定理"@zh,
        "哥德爾不完全定理"@zh,
        "歌德尔不完备定理"@zh ;
    p:P10283 wds:Q200787-77006F58-A53B-458E-8A97-032F54D397DB ;
    p:P1036 wds:Q200787-b0ca97b2-4247-1080-a570-4f3f8345ec45 ;
    p:P10376 wds:Q200787-7347fe29-48f1-f265-7b24-3368a2f6d19a ;
    p:P12800 wds:Q200787-46785040-F743-449B-8C26-2E3349B9A8EA ;
    p:P1318 wds:Q200787-537c2196-43b4-2c87-95be-5cce188ca106 ;
    p:P13204 wds:Q200787-A3669721-6F3D-4836-A62E-06C10AD9E767 ;
    p:P13591 wds:Q200787-9411AC5E-02C8-42A7-A622-D583BA61B202 ;
    p:P1368 wds:Q200787-5a1bfde1-4e0b-1251-76a1-3ea4c0393706 ;
    p:P13772 wds:Q200787-63AF42B3-BE05-4925-B9E1-85F1D19CF895,
        wds:Q200787-953B6813-CD3A-489C-B141-7BEF4FEE99FB ;
    p:P138 wds:q200787-2ED09716-7BE9-4960-89A0-78CB5CF7154A ;
    p:P1417 wds:Q200787-46A11A79-90C7-4195-9B7D-C4139578F510 ;
    p:P1617 wds:Q200787-5B7A55E2-0146-4604-A411-7C3D1C9285FC ;
    p:P1889 wds:Q200787-53AF2123-68D3-4FE2-97A2-D4C17ADAA0E2 ;
    p:P227 wds:Q200787-A71F7D2D-AFB2-4DF7-8AA8-214BC38A14C2 ;
    p:P244 wds:Q200787-480edcd0-4d99-4d64-b771-c46b8e07a67b ;
    p:P2579 wds:Q200787-2dc98875-4519-a835-7b2c-7a3537a3c8b3 ;
    p:P268 wds:Q200787-449a0fe0-c2e1-4df9-8b94-a65beca9a482 ;
    p:P2812 wds:Q200787-0A14E9F0-DDD8-4B4E-BAC7-A30DA2B89451 ;
    p:P31 wds:Q200787-b284c07e-4538-1301-14c4-45bd79b947ba,
        wds:Q200787-bc09e3f6-439b-ff53-465b-6c1a6ec5351b ;
    p:P3123 wds:Q200787-ee777a20-4066-0262-795d-0c7e22c39fd6 ;
    p:P3219 wds:Q200787-A1C37E98-D65E-42C9-AAEF-320315BFDF68 ;
    p:P361 wds:Q200787-6D466FF2-108F-49A7-B839-67FED9AA0CFD ;
    p:P3847 wds:Q200787-e173f5f7-4a3b-0d96-f4e8-b89e06e2b8ab ;
    p:P5008 wds:Q200787-97970DAC-A647-4CDF-9FAB-41948EB7E885 ;
    p:P508 wds:q200787-171EB64E-1C07-44E0-8502-6C2D255B5DB6 ;
    p:P527 wds:Q200787-360c2cfe-4779-dfbf-df84-9ebc6be042d2,
        wds:Q200787-b18d3ca2-4d10-8407-ceab-863412fb5f19 ;
    p:P6104 wds:Q200787-7B45F9A6-0DDD-4B4D-A55B-102143E96073 ;
    p:P6366 wds:Q200787-E96EC11E-F72D-4E26-81F9-4A0CE61A2ACD ;
    p:P646 wds:Q200787-5D0DC8A5-FEF2-41E9-8170-C1E3FA4BDCD4 ;
    p:P6900 wds:Q200787-e380fc7c-4d00-0dac-6036-d96ebf45c884 ;
    p:P691 wds:Q200787-2F27598D-0095-40FE-8B36-D6D2AB9FE215 ;
    p:P7775 wds:Q200787-6C2C9660-CE5E-478F-87F6-8BDFF0695E5A ;
    p:P8189 wds:Q200787-903D61A9-6A10-49A1-AA06-6EFC15860E0C ;
    p:P8313 wds:Q200787-4BC7298B-30B4-4DCB-95C1-B7DDA5D98350 ;
    p:P9322 wds:Q200787-DB87CA0A-2CAB-45EA-9E90-D15174A6951B ;
    wdtn:P1617 <http://www.bbc.co.uk/things/b7241c11-e85a-45a2-b34c-166ed6e20378#id> ;
    wdtn:P227 <https://d-nb.info/gnd/4021417-5> ;
    wdtn:P244 <http://id.loc.gov/authorities/names/sh85055601> ;
    wdtn:P268 <http://data.bnf.fr/ark:/12148/cb119412145#about> ;
    wdtn:P508 <http://purl.org/bncf/tid/33340> ;
    wdtn: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 wd:Q41390 ;
    wdt:P13204 "mhjgmruj" ;
    wdt:P13591 "concept/5c96e0c6-0c7a-4edb-b834-3ce63488e839" ;
    wdt:P1368 "000138852" ;
    wdt:P13772 "godels-theorem",
        "incompleteness-theorems" ;
    wdt:P138 wd:Q41390 ;
    wdt:P1417 "topic/incompleteness-theorem" ;
    wdt:P1617 "b7241c11-e85a-45a2-b34c-166ed6e20378" ;
    wdt:P1889 wd:Q902052 ;
    wdt:P227 "4021417-5" ;
    wdt:P244 "sh85055601" ;
    wdt:P2579 wd:Q833585 ;
    wdt:P268 "119412145" ;
    wdt:P31 wd:Q65943 ;
    wdt:P3123 "goedel-incompleteness" ;
    wdt:P3219 "godel-theoremes-d-incompletude" ;
    wdt:P361 wd:Q944443 ;
    wdt:P3847 "gödel's_theorem" ;
    wdt:P5008 wd:Q6173448 ;
    wdt:P508 "33340" ;
    wdt:P527 wd:Q1031460,
        wd:Q62091930 ;
    wdt:P6104 wd:Q8487137 ;
    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" .