Tag
An accessible explanation of Gödel's incompleteness theorems, describing how Gödel numbering maps statements about a system onto statements within the system to prove that any consistent axiomatic system is incomplete.