| dbo:description
|
- matematikai állítás (hu)
- mathematischer Satz (de)
- trditev, da širok razred logičnih sistemov ne more biti hkrati konsistenten in popoln (sl)
- Resultados limitativos em lógica matemática (pt)
- ವಿಶಾಲವಾದ ತಾರ್ಕಿಕ ವ್ಯವಸ್ಥೆಗಳು ಸ್ಥಿರ ಮತ್ತು ಪೂರ್ಣವಾಗಿರಬಾರದು ಎಂಬ ಸಿದ್ಧಾಂತವು (kn)
- مبرهنة ليس هناك نظرية كاملة ودقيقة (ar)
- dos teoremas de lógica matemática (es)
- dwa twierdzenia limitacyjne w logice (pl)
- 一個數學定理，講啲邏輯系統唔可以又一致又完整 (yue)
- teorema fundamental dalam bidang logika matematika (in)
- teoremi limitativi di logica matematica (it)
- théorèmes de logique mathématique (fr)
- 定理一個廣泛的邏輯系統不能既一致又完整 (zh)
- 形式化された数学の中で、有限の立場では、自然数論の無矛盾性が証明できないことを示す定理 (ja)
- theorem that a wide class of logical systems cannot be both consistent and complete (en)
- משפט יסודי בלוגיקה מתמטית (iw)
- teorema que afirma que una classe àmplia de sistemes lògics no pot ser alhora consistent i completa (ca)
- 스스로의 무모순성을 증명할 수 없다는 정리 (ko)
- две теоремы математической логики о принципиальных ограничениях формальной арифметики (ru)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:1a
|
- Priest (en)
- Zach (en)
- Davis (en)
- Dawson (en)
- Sokal (en)
- Putnam (en)
- Floyd (en)
- Rodych (en)
- Bricmont (en)
- Franzén (en)
- Shoenfield (en)
- Smoryński (en)
|
| dbp:1p
|
- 76 (xsd:integer)
- 132 (xsd:integer)
- 416 (xsd:integer)
- 418 (xsd:integer)
- 842 (xsd:integer)
|
| dbp:1y
|
- 1967 (xsd:integer)
- 1977 (xsd:integer)
- 1984 (xsd:integer)
- 1996 (xsd:integer)
- 1999 (xsd:integer)
- 2000 (xsd:integer)
- 2003 (xsd:integer)
- 2005 (xsd:integer)
- 2006 (xsd:integer)
- 2007 (xsd:integer)
|
| dbp:2a
|
- Priest (en)
- Zach (en)
- Benson (en)
- Charlesworth (en)
- Putnam (en)
- Floyd (en)
- Jones (en)
- Rodych (en)
- Grattan-Guinness (en)
- Kleene (en)
- Raatikainen (en)
- Stangroom (en)
|
| dbp:2p
|
- 10 (xsd:integer)
- 33 (xsd:integer)
- 274 (xsd:integer)
|
| dbp:2pp
| |
| dbp:2y
|
- 1967 (xsd:integer)
- 1980 (xsd:integer)
- 1981 (xsd:integer)
- 2000 (xsd:integer)
- 2003 (xsd:integer)
- 2005 (xsd:integer)
- 2006 (xsd:integer)
|
| dbp:3a
|
- Priest (en)
- Sokal (en)
- Berto (en)
- Bricmont (en)
- Hopcroft (en)
- Ullman (en)
|
| dbp:3p
| |
| dbp:3y
|
- 1979 (xsd:integer)
- 1999 (xsd:integer)
- 2004 (xsd:integer)
- 2009 (xsd:integer)
|
| dbp:4a
|
- Benson (en)
- Stangroom (en)
|
| dbp:4y
| |
| dbp:author1Link
|
- Dan Willard (en)
- J. Barkley Rosser (en)
|
| dbp:date
|
- 2005-10-13 (xsd:date)
- 2016-03-06 (xsd:date)
- May 2025 (en)
|
| dbp:first
| |
| dbp:id
| |
| dbp:last
| |
| dbp:reason
|
- At least provide another citation, supporting "not universally". (en)
|
| dbp:title
|
- Gödel incompleteness theorem (en)
|
| dbp:txt
| |
| dbp:url
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:year
|
- 1936 (xsd:integer)
- 2001 (xsd:integer)
|
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:label
|
- Gödel's incompleteness theorems (en)
- مبرهنات عدم الاكتمال لغودل (ar)
- Teorema d'incompletesa de Gödel (ca)
- Gödelovy věty o neúplnosti (cs)
- Θεωρήματα μη πληρότητας του Γκέντελ (el)
- Teoremoj de nekompleteco (eo)
- Théorèmes d'incomplétude de Gödel (fr)
- Teoremas de incompletitud de Gödel (es)
- Gödelscher Unvollständigkeitssatz (de)
- Cruthú Gödel (ga)
- Teorema ketaklengkapan Gödel (in)
- Teoremi di incompletezza di Gödel (it)
- ゲーデルの不完全性定理 (ja)
- 괴델의 불완전성 정리 (ko)
- Onvolledigheidsstellingen van Gödel (nl)
- Teoremas da incompletude de Gödel (pt)
- Twierdzenia Gödla (pl)
- Теоремы Гёделя о неполноте (ru)
- Теореми Геделя про неповноту (uk)
- Gödels ofullständighetssatser (sv)
- 哥德尔不完备定理 (zh)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:knownFor
of | |
| is foaf:primaryTopic
of | |
