Second incompleteness theorem

GPTKB entity