Arithmetization in Richard Dedekind's works, between foundational and mathematical investigations.