Indiscernibles

If a, b, and c are distinct and {a, b, c} is a set of indiscernibles, then, for example, for each binary formula ${\displaystyle \beta }$, we must have

${\displaystyle [\beta (a,b)\land \beta (b,a)\land \beta (a,c)\land \beta (c,a)\land \beta (b,c)\land \beta (c,b)]\lor [\lnot \beta (a,b)\land \lnot \beta (b,a)\land \lnot \beta (a,c)\land \lnot \beta (c,a)\land \lnot \beta (b,c)\land \lnot \beta (c,b)]\,.}$

Historically, the identity of indiscernibles was one of the laws of thought of Gottfried Leibniz.

In some contexts one considers the more general notion of order-indiscernibles, and the term sequence of indiscernibles often refers implicitly to this weaker notion. In our example of binary formulas, to say that the triple (a, b, c) of distinct elements is a sequence of indiscernibles implies

${\displaystyle ([\varphi (a,b)\land \varphi (a,c)\land \varphi (b,c)]\lor [\lnot \varphi (a,b)\land \lnot \varphi (a,c)\land \lnot \varphi (b,c)])\land ([\varphi (b,a)\land \varphi (c,a)\land \varphi (c,b)]\lor [\lnot \varphi (b,a)\land \lnot \varphi (c,a)\land \lnot \varphi (c,b)])\,.}$

Order-indiscernibles feature prominently in the theory of Ramsey cardinals, Erdős cardinals, and zero sharp.

• Identity of indiscernibles
• Rough set

• Jech, Thomas (2003). Set Theory. Springer Monographs in Mathematics (Third Millennium ed.). Berlin, New York: Springer-Verlag. ISBN 978-3-540-44085-7. Zbl 1007.03002.