Is there a mathematical definition of when a true mathematical statement is analytic or synthetic?

125 Views Asked by At

I know that, in philosophy, there is the distinction between analytic and synthetic statements. I wonder, has anyone formalized this difference in a mathematical way? Like, is there a mathematical definition that can sort true mathematical statements into analytic and synthetic statements? Or, is there simply no such thing as a true synthetic mathematical statement?