Title: From Dedekind to Gödel