second incompleteness theorem

GPTKB entity