In 1888 Hilbert proved the finite basis theorem, only giving an existence proof, not one which allowed the basis to be constructed.
Sa 1888 Hilbert proved ang hangganan na batayan teorama, lamang ang pagbibigay ng pagkakaroon ng isang patunay, hindi isa na kung saan pinapayagan ang batayan na itinayo.