Tarski destroyed the borderline between metamathematics and mathematics. The previous section says more about the relevant metamathematics. On the metamathematics of Q, see Boolos et al. An English translation appeared in the 1956 first edition of the volume "Logic, Semantics, Metamathematics". He objected to restricting the role of metamathematics to the foundations of mathematics. In so doing, they helped found what are now known as metamathematics and model theory. String theory is foundational for formal linguistics, computer science, logic, and metamathematics especially proof theory. Early investigations into metamathematics had been driven by Hilbert's program. The discovery of hyperbolic geometry had important philosophical consequences for Metamathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. Metamathematics is the study of mathematics itself using mathematical methods. David Hilbert founded metamathematics as a discipline for discussing formal systems. In [Tarski's] view, metamathematics became similar to any mathematical discipline.