 We see, then, that Frege’s conception of the analytic was suitably broader than Kant’s. Kant required that conceptual containments be evident within the sentence, rather than that the sentence be displayed as a conclusion following logically from axioms whose own logical or conceptual truth was self-evident, and which might contain expressions not occurring in the sentence in question. As we saw from the quote from B16, Kant did not regard ‘7 + 5 = 12’ as an analytic truth. The Fregean, by contrast, is able to exploit the internal structure of the numerals, and to invoke the recursion axioms for addition (which themselves would have to have been derived in logicist  fashion).[9]  So, for the Fregean, even if not for Kant, ‘7 + 5 = 12’ is an analytic truth. Where s is the successor function, Kant’s example takes the more detailed form 