Text this: Mathematical logic and Hilbert's-symbol /