SHMARQL

Gödel's second incompleteness theorem

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

theorem that no formal system capable of basic arithmetic can prove its own consistency
rdfs:label
"Gödel's second incompleteness theorem"@en
schema:description
"theorem that no formal system capable of basic arithmetic can prove its own consistency"@en
schema:dateModified "2026-03-18T19:46:57+00:00"^^xsd:dateTime
schema:version 2473371660
wikibase:identifiers 3
wikibase:sitelinks 1
wikibase:statements 9
p:P138 wd:statement/Q1031460-e43463b2-4bd6-103b-841f-7a591b7f6417
p:P1417 wd:statement/Q1031460-D63BCA71-6633-428B-9F1A-0E5DDA19F673
p:P2579 wd:statement/Q1031460-ca8d6577-4b21-bc91-8a0d-5e19b75c0441
p:P2671 wd:statement/Q1031460-908BE5C2-E8FC-42E4-9E19-CD55ABFCBADB
p:P2812 wd:statement/Q1031460-a0fec64a-467d-0f3f-f932-7e6243e0a20a
p:P31 wd:statement/Q1031460-c0550e09-4b2c-85cc-76d7-ff312dbf2847
p:P361 wd:statement/Q1031460-aa5ce7a0-4d43-c5e5-63f7-3348dc049c6f
p:P6104 wd:statement/Q1031460-77FE91E3-B74E-43C7-9CD5-6BCCE7FDC32E
p:P921 wd:statement/Q1031460-9101d315-40e3-99ba-52fc-10b0ae66f181
p:direct-normalized/P2671 <http://g.co/kg/g/122vxtf1>
wdt:P138 Kurt Gödel
wdt:P1417 "topic/Godels-second-incompleteness-theorem"
wdt:P2579 proof theory
wdt:P2671 "/g/122vxtf1"
wdt:P2812 "GoedelsSecondIncompletenessTheorem"
wdt:P31 theorem
wdt:P361 Gödel's incompleteness theorems
wdt:P6104 WikiProject Mathematics
wdt:P921 mathematical incompleteness
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata