Philosophy of Mathematics

by Øystein Linnebo

If the proof relies only on “general logical laws and definitions,” then the proposition is analytic. But if the proof requires assumptions that “belong instead to the domain of a particular science, then the proposition is synthetic”