Definition:Hilbert 23/14

Proof of Finiteness of certain Complete Systems of Functions
Proof of the finiteness of certain complete systems of functions.