Nominalism and Constructivism in Seventeenth-Century Mathematical Philosophy