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…