For set theory the linguistic doctrine has seemed less empty; in set theory, moreover, convention in quite the ordinary sense seems to be pretty much what goes on. Conventionalism has a serious claim to attention in the philosophy of mathematics, if only because of set theory.