Hilbert's tau and epsilon in Proof Theory: a proof-theoretical representation of universal and existential statements