Dedekind är betydelsefull även på grund av sina studier i matematisk grundvalsforskning. Med Dedekinds snitt gav han en stringent och elegant metod att definiera de reella talen. Axiomatiseringen av teorin för naturliga tal, som vanligen går under namnet Peanos axiomsystem, är väsentligen Dedekinds verk. Hans kanske mest kända skrift