dedekind definition of finiteness