https://en.m.wikipedia.org/wiki/David_Hilbert
https://en.m.wikipedia.org/wiki/Formalism_(philosophy_of_mathematics)