How Gödel’s Proof Works

To see how substitution works, consider the formula (∃x)(x = sy). (It reads, “There exists some variable x that is the successor of y,” or, in short, “y has a successor.”) Like all formulas, it has a Gödel number—some large integer we’ll just call m. Now let’s introduce m into the formula in place of […]