Gödel numbers were invented by Leibniz a few hundred years earlier. It's not known whether Gödel knew about this when he proved incompletness, but given that Gö

Gödel numbers were invented by Leibniz a few hundred years earlier. It's not known whether Gödel knew about this when he proved incompletness, but given that Gödel was a serious Leiniz scholar especially later in life, and held him in highest esteem, it is not impossible that he did. That said, Gödel had many more great ideas.