arithmetic, foundations of Dedekind’s contributions to — see Dedekind, Richard: contributions into the foundations of arithmetic Hilbert’s program — see Hilbert, David: system from the foundations of https://mariahxehs410373.dbblog.net/3057424/detailed-notes-on-forbidden-knowledge