 Because none of Frege’s work on this topic has survived, we have no details about the specific analyses he might have given. The crucial point in Frege’s criticism of Hilbert, however, on this account, is not a disagreement about particular analyses or the consequent failure of particular consistency and independence claims, but is instead about the general methodology of consistency and independence proofs. Because for Hilbert the consistency of a set of sentences turns entirely on the overall structure they exhibit, while for Frege the consistency of the set of thoughts expressed turns additionally on the contents of the non-logical terms appearing in the sentences, on this account, Hilbert-consistency doesn’t imply Frege-consistency.