A non-technical summary of how arithmetization is used in this argument: https://plato.stanford.edu/entries/goedel-incompleteness/#AriForLan
A non-technical summary of how arithmetization is used in this argument: https://plato.stanford.edu/entries/goedel-incompleteness/#AriForLan