Dedekind v Cantor