Hence, granted definitions of all mathematical expressions in terms of logic, the preceding conclusion shows that all mathematical truths become definitional abbreviations of truths of logic therefore truths of logic in turn.