In this paper, we trace the conceptual history of the term ?metamathematics? in the nineteenth century. It is well known that Hilbert introduced the term for his proof-theoretic enterprise in about 1922. But he was verifiably inspired by an earlier usage of the phrase in the 1870s. After outlining Hilbert's understanding of the term, we will explore the lines of inducement and elucidate the different meanings of ?metamathematics? in the final decades of the nineteenth century. Finally, we will investigate the (...) earlier occurrences and come to the conclusion that the conceptual prehistory of the Hilbertian notion of metamathematics dates back to 1870, whereas the history of the word starts in 1799 at the latest. What is this: metamathematics? It is something amazing everybody, [?] since it makes the mind dizzy and withdraws thinking its sole fulcrum.1 1 Brunner 1898, p. 832: ?Was ist das: Metamathematik? Es ist etwas, was einen Jeden in das äusserste Staunen versetzt, [?] was das Gehirn schwindlig macht und dem Denken seinen einzigen Stütz- und Angelpunkt zu entziehen droht? (shrink)

In 1870, Hermann von Helmholtz criticized the Kantian conception of geometrical axioms as a priori synthetic judgments grounded in spatial intuition. However, during his dispute with Albrecht Krause (Kant und Helmholtz über den Ursprung und die Bedeutung der Raumanschauung und der geometrischen Axiome. Lahr, Schauenburg, 1878), Helmholtz maintained that space can be transcendental without the axioms being so. In this paper, I will analyze Helmholtz’s claim in connection with his theory of measurement. Helmholtz uses a Kantian argument that can be (...) summarized as follows: mathematical structures that can be defined independently of the objects we experience are necessary for judgments about magnitudes to be generally valid. I suggest that space is conceived by Helmholtz as one such structure. I will analyze his argument in its most detailed version, which is found in Helmholtz (Zählen und Messen, erkenntnistheoretisch betrachtet 1887. In: Schriften zur Erkenntnistheorie. Springer, Berlin, 1921, 70–97). In support of my view, I will consider alternative formulations of the same argument by Ernst Cassirer and Otto Hölder. (shrink)