  One option is to appeal to a standard that is more fundamental than that of mathematics itself. Logicism provides an example. Frege and other logicists first claim that any theorem of pure logic is true. Then they attempt to show that the theorems of certain branches of mathematics can be proved from pure logic and definitions alone.