Triple

T3390133

Position	Surface form	Disambiguated ID	Type / Status
Subject	Gödel's incompleteness theorems	`E71396`	entity
Predicate	hasPart	`P35`	FINISHED
Object	Gödel's second incompleteness theorem Gödel's second incompleteness theorem is a fundamental result in mathematical logic showing that any sufficiently strong, consistent formal system cannot prove its own consistency.	`E71396`	NE FINISHED

Provenance (5 batches)

Stage	Batch ID	Job type	Status
creating	`batch_69ad85a9c4a88190a854019341cb3b60`	elicitation	completed
NER	`batch_69adb6682c708190b76a7a16cee7c5aa`	ner	completed
NED1	`batch_69b35462c69481909700f01bacdac3e1`	ned_source_triple	completed
NED2	`batch_69b3566da174819086160cd254e0a443`	ned_description	completed
NEDg	`batch_69b355a7dc308190ba8ab0db251592a2`	nedg	completed

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