arithmetic, foundations of Dedekind’s contributions to — see Dedekind, Richard: contributions towards the foundations of mathematics Hilbert’s plan — see Hilbert, David: software within the foundations of https://agnesgicn163284.actoblog.com/profile