arithmetic, foundations of Dedekind’s contributions to — see Dedekind, Richard: contributions into the foundations of arithmetic Hilbert’s software — see Hilbert, David: software inside the foundations of https://emilyzvii278360.wikijournalist.com/user