We can introduce singular terms for ordered pairs by means of an abstraction principle.1 Doing so proves useful for a number of projects in the philosophy of mathematics. However there is a question whether we can appeal to the abstraction principle in good faith, since a version of the Caesar Problem can be generated, posing the worry that abstraction fails to introduce expressions which refer determinately to the requisite sort of object. In this note I will pose the difficulty, and then propose a solution. Since my solution appeals to a plausible constraint on the introduction of new expressions to a language, it is of interest independently of the particular case of terms for pairs. Since these provide the occasion for discussion we should nonetheless review the use of abstraction for pairs before the argumentative business of the paper commences.

中文翻译：

---

元组一直向下？

我们可以通过抽象原理为有序对引入单数项。1 这样做被证明对数学哲学中的许多项目很有用。然而，存在一个问题，我们是否可以善意地诉诸抽象原则，因为可以生成凯撒问题的一个版本，从而担心抽象无法引入确定地引用必要类型对象的表达式。在这篇笔记中，我将提出困难，然后提出解决方案。由于我的解决方案诉诸于在语言中引入新表达式的合理限制，因此它与词对的特殊情况无关。