 Hilbert and Bernays introduced this new logical formalism for two reasons, (i) to be able to better and more easily formalize mathematics, and (ii) to bring out the understanding of logical connectives in methodological parallel to the treatment of geometric concepts in Foundations of geometry. The methodological advantages of this calculus are discussed in Bernays 1927: 10: