Triple
T568429
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | liar paradox |
E13608
|
entity |
| Predicate | relatedTo |
P37
|
FINISHED |
| Object |
Gödel's incompleteness theorems
Gödel's incompleteness theorems are two fundamental results in mathematical logic showing that any sufficiently powerful, consistent formal system cannot prove all true statements about arithmetic, and cannot prove its own consistency.
|
E71396
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a4933fa4d88190a7949cc83c08c5c1 |
elicitation | completed |
| NER | batch_69a49b0406d481908af5fc7bc67103fb |
ner | completed |
| NED1 | batch_69a4fc81d6d4819090d91560efaa085d |
ned_source_triple | completed |
| NED2 | batch_69a4fda77c8c8190bdbb6b06a9923f54 |
ned_description | completed |
| NEDg | batch_69a4fd3e91ec819081f8dadcef388ef5 |
nedg | completed |
Created at: March 1, 2026, 7:33 p.m.