 The function calculus is a system of (many-sorted) first-order logic, with variables for sentences as well as for relations. It is here, for the first time, that we encounter a precise, modern formulation of first-order logic, clearly differentiated from the other calculi, given an axiomatic foundation, and with metalogical questions explicitly formulated. Hilbert concludes his discussion of first-order logic with the remark: 