Author: Richard 1831-1916 Dedekind