 So Frege was not just trying to develop an abstract reasoning system for the precise derivations of theorems from axioms (see van Heijenoort 1967 for discussion).  Frege was at least as interested in formalizing the content of reasoning as he was in formulating the rules for deriving a given thought from some group of thoughts. Frege would not have regarded the logical axioms of his formal systems as axiom schemata, i.e., as a metalinguistic sentence patterns whose instances (i.e., the sentences of the object language that match the pattern) are axioms (see Goldfarb 2001 for discussion). Nor would he have agreed that the logical axioms of his system were uninterpreted sentences. His unease with the modern conception of an uninterpreted formal system was expressed in his reaction to Hilbert’s Foundations of Geometry (Frege 1906, 384 [1984, 315]):