First Incompleteness Theorem

GPTKB entity