This recursive formulation of addition was developed by Dedekind as early as 1854, and he would expand upon it in the following decades.
Αυτή η αναδρομική διατύπωση της πρόσθεσης αναπτύχθηκε από τον Dedekind ήδη από το 1854, και την επέκτεινε τις επόμενες δεκαετίες.