An idea from Critique of Pure Reason

Take 7 + 5 = 12. Nothing in the idea of seven plus five contains twelve, so you count it out on your fingers. That makes arithmetic synthetic and still known in advance. Frege argued in 1884 that arithmetic is pure logic, and the dispute is still open.

From Critique of Pure Reason by Immanuel Kant