arithmetic, foundations of Dedekind’s contributions to — see Dedekind, Richard: contributions for the foundations of arithmetic Hilbert’s system — see Hilbert, David: application in the foundations of https://anniefhsq330609.wikicommunications.com/user