number theory

How Gödel’s Proof Works | WIRED

To see how substitution works, consider the formula (∃x)(x = sy). (It reads, “There exists some variable x that is…

Read More »