David Hilbert, padre del teorema di finitezza