From Dedekind to Gödel | lit.salon