jimv comments on Understanding Gödel’s Incompleteness Theorem