On the Nature of Truth in Mathematics