Dedekind's work, however, proved theorems inaccessible in Peano's system, including the uniqueness of the set of natural numbers (up to isomorphism) and the recursive definitions of addition and multiplication from the successor function and mathematical induction.
Dedekinds værk beviste dog teoremer, der var utilgængelige i Peanos system, inklusive det unikke ved sæt af naturlige tal (op til isomorfisme) og de rekursive definitioner fra addition og multiplikation fra successor-funktionen og matematisk induktion.