A presupposition of this paper is that "mathematical" entities exhibit referential problems not affecting other sorts of entities. This view places constraints both on semantics for mathematical theories and on formal semantics generally. A main goal of the paper is to illustrate how "sets" can be avoided in semantics by utilizing "properties". This method is then exploited in the case of mathematics to obtain interpretations involving no "mathematical entities" but nevertheless producing "platonistic" truth-Value distributions.