arithmetic, foundations of Dedekind’s contributions to — see Dedekind, Richard: contributions into the foundations of mathematics Hilbert’s program — see Hilbert, David: software while in the foundations of https://alicianofy661633.blogolenta.com/profile