Triple

T3390132

Position	Surface form	Disambiguated ID	Type / Status
Subject	Gödel's incompleteness theorems	`E71396`	entity
Predicate	hasPart	`P35`	FINISHED
Object	Gödel's first incompleteness theorem Gödel's first incompleteness theorem is a fundamental result in mathematical logic showing that any sufficiently powerful, consistent formal system of arithmetic contains true statements that cannot be proven within that system.	`E71396`	NE FINISHED

Provenance (5 batches)

Stage	Batch ID	Job type	Status
creating	`batch_69ad85a9c4a88190a854019341cb3b60`	elicitation	completed
NER	`batch_69adb6682c708190b76a7a16cee7c5aa`	ner	completed
NED1	`batch_69b34bc62c788190b6097e02601df386`	ned_source_triple	completed
NED2	`batch_69b34eba517881908806b1ac285448ff`	ned_description	completed
NEDg	`batch_69b34e45a6c08190a0011eaa60f3d50a`	nedg	completed

Created at: March 8, 2026, 3:14 p.m.