Gödel's second incompleteness theorem

GPTKB entity