Hilbert is known as one of the founders of proof theory and mathematical logic, as well as for being among the first to distinguish between mathematics and metamathematics.
Hilbert é recoñecido como un dos fundadores da teoría da proba e a lóxica matemática, así como por ser un dos primeiros en distinguir entre matemáticas e metamatemáticas.