From Dedekind to Gödel