Second Incompleteness Theorem

GPTKB entity