Title: Mathematical logic and Hilbert's E-Symbol