Goodman and Quine's nominalism entails that unbounded ideal reasoners are themselves abstract posits...