first incompleteness theorem

GPTKB entity