On the Quinean-analyticity of mathematical propositions